Non-commutative Mul arguments not CSEed anymore...