Fixed zipper use in util
Changed all seq-zip to non-bugged version.
Merge branch 'master' into fix-simplification
thelmuth/fix-simplification
Print 'Zero cases best number of zero cases'.