your patch will make it safe to inline SelectTransitive, because the loop_fn will be memoizing things that have already been visited