Holds if this variable is const.
predicate
isConst
(
)