Member predicate Class::Class::refersToDirectly

Holds if this type refers to type t directly.

predicate refersToDirectly(Type t)