Compute dead states.

Still need some optimizations, it's too slow for huge state spaces.