Add congruence graph descriptions