How would you deal with the `Add(Q.zero_symbol, Q.zero_symbol)) -> Mul(2, Q.zero_symbol)` issue?