How is “this system doesn’t deadlock” not the same as the halting problem?