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