Predicate varPassedInto

VariableAccess varPassedInto(Callable c, Parameter p)