@@ -71,7 +71,7 @@ module CaptureSsaInput implements InputSig<Location, BasicBlock> {
     node.(BuilderNode).isCallable(callable)
     or
     exists(Stage2Node prev | callableHasLocalAlias(callable, prev) |
-      step(prev, any(Step s | s.value() or s.callGraph()), node)
+      step(prev, any(Step s | s.value() or s.valueMustFlow() or s.callGraph()), node)
       or
       localSsaStep(prev, node, _)
     )
Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@ module CaptureSsaInput implements InputSig<Location, BasicBlock> {`
`71`	`71`	`node.(BuilderNode).isCallable(callable)`
`72`	`72`	`or`
`73`	`73`	`exists(Stage2Node prev \| callableHasLocalAlias(callable, prev) \|`
`74`		`- step(prev, any(Step s \| s.value() or s.callGraph()), node)`
	`74`	`+ step(prev, any(Step s \| s.value() or s.valueMustFlow() or s.callGraph()), node)`
`75`	`75`	`or`
`76`	`76`	`localSsaStep(prev, node, _)`
`77`	`77`	`)`