Holds if this struct
has a ref
modifier.
predicate
isRef
(
)