Use special predicate SPECIALIZERP after all.