ProofManagement extension: Iterative NodeIntermediateWalker to avoid stack overflows#3793

WolframPfeifer merged 3 commits intomainKeYProject/key:mainfrom

pfeifer/proofMgmtIterativeWalkerKeYProject/key:pfeifer/proofMgmtIterativeWalkerCopy head branch name to clipboard