This story has moved to /story/algorithms-for-deciding-the-safety-of-states-in-fully-observable-non-determinist/.