Improving deadlock detection in klocks debugging mode