Removed (non-obvious) side-effects from simplification methods.
Improved functionality of supplemental operators.