Debug statements
DeadlockDetector working