If non-commutative Mul arguments are to be CSEed, then intermediate variables must for those must also be non-commutative.
This test is wrong anyway, I'll correct it latter.