Generate predicate variables only where something is left to infer - #224

Draft

coord-e wants to merge 3 commits into

mainfrom

claude/reduce-predicate-variables-1aeoll

Commits on Aug 15, 2026

Take the type of a call from the callee
claude
committed
ca7d6c0
Take the precondition of the entry block from the signature
claude
committed
9429b01
Take the state at a join as the disjunction of the states behind it
claude
committed
2e4e840