Member predicate Type::RefType::extendsOrImplements

Holds if t is an immediate super-type of this type using only the immediate extends or implements relationships. In particular, this excludes parameter containment sub-typing for parameterized types.

predicate extendsOrImplements(RefType t)