Member predicate ClassObject :: hasABase
Whether this class has a base class
predicate
hasABase
(
)