Symbol: if_nbr_list_empty