Predicate MakeImplStage1::ImplStage1::localStepNodeCand1
Import path
import codeql.dataflow.internal.DataFlowImplStage1
predicate localStepNodeCand1(NodeEx node1, NodeEx node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)
import codeql.dataflow.internal.DataFlowImplStage1
predicate localStepNodeCand1(NodeEx node1, NodeEx node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)