Add noremove2 test
Tweak noremove2 test

Remove possibility of infinite loop reduction (no change in output).
splitter: Fix propagating noRemove during optimization