Үүнийг мессежээр илгээх: Counterexample-guided precondition inference