Frederik Hennig authored Feb 02, 2021 and Markus Holzer committed Feb 02, 2021

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