Unwinds the states stack because a conflict has been encountered @return [void]
Attempts to activate the current {#possibility} @return [void]
Ensures there are no orphaned successors to the given {vertex}. @param [DependencyGraph::Vertex] vertex the vertex to fix up. @return [void]