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