reg_state_cond
reg_state_cond(init_t, fr1, &rc, OP_GE, fr1, NULL, "r1>=A");
reg_state_cond(init_t, fr2, &rc, OP_GE, fr2, NULL, "r2>=C");
reg_state_cond(init_t, fr1, &rc, OP_LE, fr1, NULL, "r1<=B");
reg_state_cond(init_t, fr2, &rc, OP_LE, fr2, NULL, "r2<=D");
reg_state_cond(cond_t, fr1, fr2, rev_op, fr1, fr2, "FALSE");
reg_state_cond(cond_t, tr1, tr2, op, tr1, tr2, "TRUE");