Adding simpler pcounter example with a false positive deadlock