test
Implemented deadlock checks