Fix broken proof tree after information flow auto pilot#3911

unp1 merged 1 commit into

mainKeYProject/key:mainfrom

bubel/issue-3713-infflow-treeKeYProject/key:bubel/issue-3713-infflow-treeCopy head branch name to clipboard