do_compare
do_compare(e, cur,
do_compare(cur, e,
do_compare(sm, comparison, rl, true_stack, maybe_stack, false_stack, mixed, gate_sm);