Predicate localMustFlowStep
Import path
import codeql.actions.dataflow.internal.DataFlowPrivatepredicate localMustFlowStep(Node nodeFrom, Node nodeTo)import codeql.actions.dataflow.internal.DataFlowPrivatepredicate localMustFlowStep(Node nodeFrom, Node nodeTo)