Member predicate AssignableAccess :: isRefArgument
Holds if this access passes the assignable being accessed as a ref
argument in a method call.
predicate
isRefArgument
(
)