let bottom = Arith(LocationSetLattice.bottom)