Predicate argumentPositionMatch
Holds if arg is an argument of call with an argument position that matches
parameter position ppos.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommonpredicate argumentPositionMatch(DataFlowCall call, ArgNode arg, ParameterPosition ppos)