fixing postprocessing; adding a configuration to enable and disable pretty presentation of quickcheck's counterexample
fixing postprocessing; adding a configuration to enable and disable pretty presentation of quickcheck's counterexample

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle