Small improvements in DeadlockPatternDetection