أرسل هذا في رسالة قصيرة: Counterexample-guided precondition inference