support reorder of ProofParallel branches via Up command