Testcase with probable unprincipled deadlocking, instrumentation to count processed tuples