CmmZipUtil
zipPreds
givesUniquePredecessorTo