Member predicate LocalFlow::LocalExprStepConfiguration::candidateDef

Holds if e and def are elements 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).