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