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