Predicate MakeImplStage1::ImplStage1::Stage1WithState::localStep1
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate localStep1(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)import codeql.dataflow.internal.DataFlowImplStage1predicate localStep1(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)