Add a test case for a bug that generates false deadlock positives
Forgot a join in incdec example
Fix thread halting