ims_st
ims->ims_st[0] = ims->ims_st[1];
if (ims->ims_st[0].ex > 0 || ims->ims_st[0].in > 0 ||
ims->ims_st[1].ex > 0 || ims->ims_st[1].in > 0 ||
ims->ims_st[1].ex -= n;
ims->ims_st[1].in -= n;
ims->ims_st[1].ex += n;
ims->ims_st[1].in += n;
} ims_st[2]; /* state at t0, t1 */
inm->inm_st[t].iss_ex == ims->ims_st[t].ex)
else if (ims->ims_st[t].in > 0 && ims->ims_st[t].ex == 0)