AddInst: signed/unsigned overflow. Better consts.