Unwinds the states stack because a conflict has been encountered @return [void]
Adds a new {Edge} to the dependency graph without checking for circularity.