Don't use tautological equations as rewrites in QE