Predicate Cached::viableParamArg
Holds if arg is a possible argument to p in call, taking virtual
dispatch into account.
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommonpredicate viableParamArg(DataFlowCall call, ParamNode p, ArgNode arg)