Take the state at a join as the disjunction of the states behind it - #224

Take the state at a join as the disjunction of the states behind it#224

coord-e wants to merge 1 commit into

claude/call-type-from-calleecoord-e/thrust:claude/call-type-from-calleefrom

claude/reduce-predicate-variables-1aeollcoord-e/thrust:claude/reduce-predicate-variables-1aeollCopy head branch name to clipboard