Refactor lambdas (`RunToFixPoint`/`run_to_fix_point` and `GetRelatedInstructions`/`get_related_instructions`) out of main `Run` function. #40200