Presburger_arithmetic loading ...