Predicate MakeImpl::DefaultState::isAdditionalFlowStep
Import path
import codeql.dataflow.internal.DataFlowImplpredicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2)import codeql.dataflow.internal.DataFlowImplpredicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2)