A test framework for verifying concurrency anomalies

It happens during recursion.