Predicate ParameterReturnTrap::argument_flows_to_return

predicate argument_flows_to_return(Function func, int arg)