Holds if this is an out parameter.
predicate
isOut
(
)