Redirecting to Presburger arithmetic