(i.e. COMMON). Also, we don't preserve the original check just because there was some supertype predicate.