Added analyzer of deadlocks