Pošalji tekstualnu poruku: Counterexample-guided precondition inference