Update proof of ToBranches lemma.

Did induction on the wrong argument.