Add unit test to current CSE behavior for non-commutative terms