أرسل هذا في رسالة قصيرة: Making the most of BMC counterexamples