Predicate simpleLocalFlowStep
This is the local flow predicate that is used as a building block in global data flow.
Import path
import codeql.actions.dataflow.internal.DataFlowPrivatepredicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo, string model)