Reject nested predicates in impredicativity checking