made fold splitting for predicates stable