[LazySpecification] Fix indentation of an end
[Resolver] Refactor the construction of requirement_satisfied
[Resolver][LazySpecification] Use new raise_if_missing parameter to subspec_by_name
[Resolver] Use sort_by instead of sort