FOR_EACH_SM
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(to_check, check) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(a_T_b_T, sm) {
FOR_EACH_SM(a_T_b_F, sm) {
FOR_EACH_SM(fake_stree, sm) {
FOR_EACH_SM(fake_stree, sm) {
FOR_EACH_SM(true_stree, sm) {
FOR_EACH_SM(final_states, sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(data.final_states, sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(orig, tmp) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(db_info.stree, sm) {
FOR_EACH_SM(db_info.stree, sm) {
FOR_EACH_SM(final_states, sm) {
FOR_EACH_SM(db_info->implied, sm) {
FOR_EACH_SM(orig_states, sm) {
FOR_EACH_SM(orig_states, sm) {
FOR_EACH_SM(true_states, sm) {
FOR_EACH_SM(false_states, sm) {
FOR_EACH_SM(implied_true, sm) {
FOR_EACH_SM(implied_false, sm) {
FOR_EACH_SM(implied_true, tmp) {
FOR_EACH_SM(implied_true, tmp) {
FOR_EACH_SM(pre_stree, tmp) {
FOR_EACH_SM(*implied_true, sm) {
FOR_EACH_SM(extra_saved_implied_true, sm) {
FOR_EACH_SM(*implied_false, sm) {
FOR_EACH_SM(extra_saved_implied_false, sm) {
FOR_EACH_SM(saved_implied_true, sm) {
FOR_EACH_SM(saved_implied_false, sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(vals, tmp) {
FOR_EACH_SM(used_stree, tmp) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(right_stree, tmp) {
FOR_EACH_SM(from, tmp) {
FOR_EACH_SM(*two, sm) {
FOR_EACH_SM(*one, sm) {
FOR_EACH_SM(*stree, sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(one, sm) {
FOR_EACH_SM(two, sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(stree, sm) {
FOR_EACH_SM(*stree, sm) {
FOR_EACH_SM(source, tmp) {
FOR_EACH_SM(new_states, sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(*stree, sm) {
FOR_EACH_SM(__get_cur_stree(), sm) {
FOR_EACH_SM(fn_type_val, sm) {
FOR_EACH_SM(global_type_val, sm) {