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