Change eqC(i) to eqC(o) and improve CongruenceCompressor