Predicate SsaFlow::localMustFlowStep
Import path
import semmle.code.java.dataflow.internal.DataFlowNodespredicate localMustFlowStep(Node nodeFrom, Node nodeTo)import semmle.code.java.dataflow.internal.DataFlowNodespredicate localMustFlowStep(Node nodeFrom, Node nodeTo)