Flaky tests maybe related to consistency check #90
Description
In #85 a flaky tests was experienced when merging #74 into main. cdd_tarjan_reduce_rec caused by an internal error. However, I have previously seen this kind of error when CDD have been incorrectly initialized (init) and finalised (done). I think that somewhere we have incorrect CDD access. A starting point for debugging could be to trace this Consistency Test.
