definition of the presburger arithmetic