More accurate deadlock checks.