Remove some small bugfixes in congruence and add tests for shorter explanations