Backtracking on commit 1220

.depend

Changelog

backend/Affinity_relation.v

backend/Allocproof.v

backend/Coloring.v

backend/Coloringproof.v

backend/Conservative_criteria.v

backend/Delete_Preference_Edges_Adjacency.v

backend/Delete_Preference_Edges_Degree.v

backend/Delete_Preference_Edges_Move.v

backend/Edges.v

backend/EqualSetMap.v

backend/Freeze_WL.v

backend/Graph_Facts.v

backend/Graph_translation.v

backend/IRC.v

backend/IRCColoring.v

backend/IRC_Graph_Functions.v

backend/IRC_graph.v

backend/IRC_termination.v