CSE Machine: Avoid pushing unnecessary env instructions (#1687)

* check if env instruction is necessary

* Add test cases

* Implement helper functions

* Fix format

Author: DiligentPenguinn