Member predicate LocalScopeVariableReachabilityExt::reaches

See LocalScopeVariableReachability.reaches.

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