The source project of this merge request has been removed.
A little simplification: remove coincidence_direct_not_freed
Hi,
Just saw that a part of the invariant of predecessors was not needed, so I removed it. Everything compiles without any further changes :)