improved the conditional editors for displaying counterexamples
fixing the order of the generated module content; now, between two consecutive generations of the same code, the generated files will be the same