Αποστολή με SMS: More effective interpolations in software model checking