cond_print_result_rule: priority (again) instead of slightly   ill-behaved tracing output;
cond_print_result_rule: priority (again) instead of slightly
  ill-behaved tracing output;

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