Bugfixing counterexample extraction