この資料をSMS送信: Beyond quantifier-free interpolation in extensions of presburger arithmetic