deadlock tests (linear, nested with 4,6,9 nodes) are successful