Regression check for optimizing simplify instruction pass.
Mul should expect zero constant as input.