Predicate Type::hasSubtypeStar

DEPRECATED: Use hasSubtype* instead.

predicate hasSubtypeStar(RefType t, RefType sub)