Don't use tautological equations as rewrites in QE
Merge pull request #89 from chsticksel/develop

Don't use tautological equations as rewrites in QE