Member predicate Variable::isConst

Holds if this variable is const.

predicate isConst()