Symbol: get_next_sem_info