Member predicate ControlFlowReachabilityConfiguration::hasExprPath

Holds if there is a control-flow path from cfn1 to cfn2, where cfn1 is a control-flow node for e1 and cfn2 is a control-flow node for e2.