Predicate validParameterAliasStep
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
predicate validParameterAliasStep(Node node1, Node node2)
import semmle.code.java.dataflow.internal.DataFlowPrivate
predicate validParameterAliasStep(Node node1, Node node2)