Member predicate LocalFlow::LocalExprStepConfiguration::candidate

Holds if e1 and e2 are expressions for which we want to find a control-flow path that follows control flow successors (resp. predecessors, as specified by isSuccessor) inside the syntactic scope scope. The Boolean exactScope indicates whether a transitive child of scope is allowed (exactScope = false).