Module CCHDataStructureInvariants