Member predicate DataflowAnnotation::preservedBy

Holds if the variable v preserves this annotation when the control-flow edge (src, dest) is taken.

predicate preservedBy(LocalScopeVariable v, ControlFlowNode src, ControlFlowNode dest)