Member predicate Method::isOverridable

Holds if this method can be overridden.

predicate isOverridable()