test_proof: do not change Proofterm.proofs here (not thread-safe);
test_proof: do not change Proofterm.proofs here (not thread-safe);

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