Anfonwch hwn fel neges destun: Counterexample-guided precondition inference