Predicate MakeImplCommon::Cached::localFlowStepExImpl
Holds if data can flow in one local step from node1 to node2.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate localFlowStepExImpl(NodeEx node1, NodeEx node2, string model)