Add simple deadlock example
Add deadlock detection