Exception trace - exception Fail raised (line 310 of "Tools/simplifier_trace.ML")
  Simplifier_Trace.recurse (line 291 of "Tools/simplifier_trace.ML")
  Raw_Simplifier.trace_invoke (line 821 of "raw_simplifier.ML")
  Raw_Simplifier.rewrite_cterm(4)ctxt-(1) (line 1305 of "raw_simplifier.ML")
  Raw_Simplifier.rewrite_cterm (line 1292 of "raw_simplifier.ML")
  Code_Preproc.trans_conv_rule (line 123 of "~~/src/Tools/Code/code_preproc.ML")
  Code_Preproc.Sandwich.lift (line 141 of "~~/src/Tools/Code/code_preproc.ML")
  Code_Preproc.Sandwich.evaluation (line 154 of "~~/src/Tools/Code/code_preproc.ML")
  Code_Runtime.dynamic_value_exn (line 125 of "~~/src/Tools/Code/code_runtime.ML")
  Code_Runtime.dynamic_value_strict (line 135 of "~~/src/Tools/Code/code_runtime.ML")
  Random_Generators.compile_generator_expr_raw (line 413 of "~~/src/HOL/Tools/Quickcheck/random_generators.ML")
  Random_Generators.compile_generator_expr (line 464 of "~~/src/HOL/Tools/Quickcheck/random_generators.ML")
  Quickcheck_Common.test_term_with_cardinality(5)comp_time|test_fun-(1) (line 176 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Timing.timing (line 68 of "General/timing.ML")
  Quickcheck_Common.cpu_time (line 84 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Quickcheck_Common.test_term_with_cardinality (line 149 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Quickcheck_Common.generator_test_goal_terms(5)test_term' (line 340 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Quickcheck_Common.collect_results (line 325 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Quickcheck_Common.generator_test_goal_terms (line 332 of "~~/src/HOL/Tools/Quickcheck/quickcheck_common.ML")
  Quickcheck.test_terms(5)(1)(1) (line 303 of "~~/src/Tools/quickcheck.ML")
  Par_List.get_some(2)results-(1) (line 61 of "Concurrent/par_list.ML")
  Par_Exn.release_first (line 73 of "Concurrent/par_exn.ML")
  Par_List.get_some (line 56 of "Concurrent/par_list.ML")
  Quickcheck.test_terms(5)(1) (line 302 of "~~/src/Tools/quickcheck.ML")
  Timeout.apply(3)(1)result-(1)(1) (line 29 of "Concurrent/timeout.ML")
  Timeout.apply(3)(1)result-(1) (line 29 of "Concurrent/timeout.ML")
  Timeout.apply(3)(1) (line 20 of "Concurrent/timeout.ML")
  Timeout.apply (line 19 of "Concurrent/timeout.ML")
  Quickcheck.limit (line 283 of "~~/src/Tools/quickcheck.ML")
  Quickcheck.test_terms (line 296 of "~~/src/Tools/quickcheck.ML")
  Quickcheck.test_goal (line 341 of "~~/src/Tools/quickcheck.ML")
  Quickcheck.gen_quickcheck(3)(2) (line 508 of "~~/src/Tools/quickcheck.ML")
  Quickcheck.gen_quickcheck (line 503 of "~~/src/Tools/quickcheck.ML")
  Quickcheck.quickcheck_cmd (line 516 of "~~/src/Tools/quickcheck.ML")
  Toplevel.keep_proof(1)(1) (line 347 of "Isar/toplevel.ML")
  Toplevel.apply_tr(3)(1) (line 263 of "Isar/toplevel.ML")