Member predicate Member::Method::isInheritable

Holds if this method is neither private nor a static interface method nor an initializer method, and hence could be inherited.

predicate isInheritable()