Member predicate Member::Modifiable::isConst

Holds if this declaration is const.

predicate isConst()