Predicate hasNodePath
Holds if there is a control-flow path from n1 to n2. n2 is either an
expression node or an SSA definition node.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate hasNodePath(ControlFlowReachabilityConfiguration conf, ExprNode n1, Node n2)