Member predicate StackVariableReachabilityWithReassignment::reachesTo
As reaches, but also specifies the last variable it was reassigned to (v0).
predicate reachesTo(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink, SemanticStackVariable v0)