forbid the Add(x,x) -> Mul(x,2) optimization after SALS convertion