Revert "lib: internal: nativeresolver: solution: determine IntroducedBy dynamically"

Unfortunately, determining IntroducedBy dynamically cannot by design
deal with circular element dependencies.
lib: internal: nativeresolver: impl: __final_verify_solution: refactoring: use range-based 'for'