reg_state_needs_two_arcs
if (reg_state_needs_two_arcs(&fe1) || reg_state_needs_two_arcs(&fe2) ||
reg_state_needs_two_arcs(&te1) || reg_state_needs_two_arcs(&te2)) {