rf_good
node->status = rf_good;
node->status = rf_good;
node->status = rf_good;
case rf_good:
case rf_good:
if ((node->status == rf_good) &&
(node->status == rf_good));
RF_ASSERT(node->status == rf_good);
(node->status == rf_good));
RF_ASSERT(node->status == rf_good);
finishlist->status = rf_good;
RF_ASSERT(a->status == rf_good);
finishlist->status = rf_good;
case rf_good: