adds isXY predicates
clean up