Simple example looks like working.

Happens before relation is extracted from the lock/unlock operations.
What is left:
  * Same operations for notify/wait
  * Instrumenting memory read/write and putting addresses to bloom filter
  * Adding VC,R,W to hardware queues and running the HB algorithm