removed unnecessary debug output in CSE
extended tests/opt/Simon_06.mj