Finding Deadlocks with ReaderWriterLock and Typemock Racer

This feature was just added to the Racer Alpha.

Given the following method:

Can you see a potential for deadlock in this method?  Here’s the answer.

I wonder if it will find this one as well..