Change predicates
Improve weakEquiv