cleaning datatype predicates