Improvement in the positioning of nodes in the tree created by loading a
saved proof. Has obvious artifacts of depth-first construction.