GET_CEQ_ELEM
#define GET_CURR_CEQ_ELEM(eq) GET_CEQ_ELEM(eq, (eq)->cons_idx)
ceqe = GET_CEQ_ELEM(eq, i);