The top-down CSE counter now yields the same results as the bottom-up
one. It is about 1.5 times faster.