Member predicate ControlFlowReachabilityConfiguration::hasDefPath
Holds if there is a control-flow path from cfn to cfnDef, where cfn is a
control-flow node for e and cfnDef is a control-flow node for def.
predicate hasDefPath(Expr e, Node cfn, AssignableDefinition def, Node cfnDef)