remove dagify from congruencecompressor