The function propagate_new_equalities() did not updated properly
the references to inherited multiple equalities.