Changelog for congruencer Unreleased changes Read lattice identity from input (possibility checks any identity). If idenity not holds in lattice, then out elements x,y,z,... which violate identity.