If non-commutative Mul arguments are to be CSEed, then the intermediate variables for those must also be non-commutative.