Отправить по sms: Counterexample-guided precondition inference