+ min_case = m->inputs[min].c;
+ if (m->combine != NULL)
+ {
+ if (prev_case == NULL)
+ prev_case = min_case;
+ else if (subcase_equal (&m->ordering, min_case,
+ &m->ordering, prev_case))
+ prev_case = m->combine (prev_case, min_case, m->aux);
+ else
+ {
+ casewriter_write (w, prev_case);
+ prev_case = min_case;
+ }
+ }
+ else
+ casewriter_write (w, min_case);
+