Frederik Hennig authored 4 years ago and Markus Holzer committed 4 years ago

- Now applying pre-simplification on CQE, too
- Added zero and alias insertion
- Bugfix