Expand Branches -> Reduce

Reduces the branch of the choice part.