Predicate AmbiguousOuterSuper::nestedSupertypePlus

RefType nestedSupertypePlus(RefType t)