(1) enabled assertionsa
(2) made successor list merging a bit more aggressive