ltac-tree-partition.v