Added bottom type for empty sets in branches.