Predicate DataFlow::simpleLocalFlowStep
INTERNAL: do not use.
This is the local flow predicate that’s used as a building block in global
data flow. It may have less flow than the localFlowStep predicate.
Import path
import semmle.code.java.dataflow.DataFlowpredicate simpleLocalFlowStep(Node node1, Node node2, string model)