Processes the topmost available {RequirementState} on the stack @return [void]
Adds a new {Edge} to the dependency graph without checking for circularity.