unsat livelock from initial state now identified -- recurrence diameter set to number of states in env counterstrategy