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