Some more deadlock information

* added definition
* 4 conditions