make sure that "file" annotations are read correctly in SInE-E and E proofs
make sure that "file" annotations are read correctly in SInE-E and E proofs

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