🔗 Deadlock Detection (Wait-For Graph)