Remove bugs from new Congruence and make Compressor variants