Edited definition of Presburger constructible