Member predicate Struct::isReadonly

Holds if this struct has a readonly modifier.

predicate isReadonly()