Indexes of variables in expanded proofs are now incremented to avoid clashes.
Indexes of variables in expanded proofs are now incremented to avoid clashes.

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