Fix issue with input symmetric equations, finalise new CongruenceCompressor and versions of it