Module Cc_plugin.G_congruence