partition states into doomed and non-doomed