Predicate FlowSteps::argumentPassing

Holds if arg is passed as an argument into parameter parm through invocation invk of function f.

predicate argumentPassing(InvokeNode invk, ValueNode arg, Function f, Parameter parm)