[sanitizer] one more output test for the deadlock detector