tuned one proof so to not run in a loop with the new atom-representation
tuned one proof so to not run in a loop with the new atom-representation

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