NO_TRANSITION
if (tsp != NO_TRANSITION) {
if (tsp != NO_TRANSITION
trans2[state] == NO_TRANSITION && \
trans1[state] == NO_TRANSITION) \
if (trans1[i] != NO_TRANSITION) {
trans2[i] != NO_TRANSITION)
if (trans1[mach] != NO_TRANSITION)
if (trans2[mach] != NO_TRANSITION)
if (first == NO_TRANSITION)
else if (second == NO_TRANSITION)
trans1[lastnfa] = NO_TRANSITION;
trans2[lastnfa] = NO_TRANSITION;
if (trans1[statefrom] == NO_TRANSITION)
(trans2[statefrom] != NO_TRANSITION))