simple renaming of some poly generation predicates