Expand OSS steps when saving a proof for more deterministic Proofs#3707

Drodt wants to merge 14 commits intomainKeYProject/key:mainfrom

expand-ossKeYProject/key:expand-ossCopy head branch name to clipboard