assertNoDetachedStates

Checks that an automaton has no detached states that are unreachable from the initial state.