Capture what is actually used in closures instead of the parent scope at time of capture

[Lucassifoni]

This one is easy : we should scan the closure body for symbols that are not present in its arguments nor created in the closure.
Beware of nested closures though : this should work recursively.