Holds if this variable is const
.
predicate
isConst
(
)