Assertions to specify final kmer counting problem.