Comparison counting
Counting
Counting
Disable assertions and merge.