Գրեք սա: Counterexample-guided precondition inference