Simpler detection of deadlock in Fixed