Merge "Mul simplification should expect zero operand"