Correct flattening for multiple redefinition case

Change c_congruent definition