Added support for exporting counterexamples.