hasDeadStatesFromInitial

Returns true if there are dead states reachable from an initial state.