proof nodes are not anymore marked obsolete when they are detached