Problem: The variables from the nested functions (which comprehensions are effectively a special case of) aren't actually closure variables for the function being inspected.

Allowing recursive identification of all closure variables might be helpful in some contexts, but you wouldn't want it to be the only behavior; it's easier to convert a non-recursive solution to a recursive solution than the other way around.