presburger.v