rf_bad
node->status = rf_bad;
case rf_bad:
if ((s->antType[j] == rf_trueData) && (s->antecedents[j]->status == rf_bad))