SMR_SEQ_LEQ
if (SMR_SEQ_LEQ(goal, c_seq))
if (SMR_SEQ_LEQ(goal, s_rd_seq))
success = SMR_SEQ_LEQ(goal, s_rd_seq);