Change how equations are added in congruence compressor algorithm