Member predicate StackVariableReachabilityExt::reaches

See StackVariableReachability.reaches.

predicate reaches(ControlFlowNode source, SemanticStackVariable v, ControlFlowNode sink)