Reset nil attributes to their default values to make the spec valid
Processes the topmost available {RequirementState} on the stack @return [void]
Unwinds the states stack because a conflict has been encountered @return [void]
Adds a new {Edge} to the dependency graph without checking for circularity.