Reduce

Expand Branches -> Reduce

Reduces the branch of the choice part.