Fix variable-naming bug (?) by removing a needless recursive call
Fix variable-naming bug (?) by removing a needless recursive call

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