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