at.logic.gapt.proofs.expansionTrees
Shifts weakening nodes as far towards the root as possible.
An ExpansionTree.