Allow for other reader tests using same verification.
Verify that there are no cycles in the graph of computations.