Symbol: get_curr_ceq_elem