Todo

+ Fix mkGlobalsLocal() to optionally not add a default value to a parameter
   e.g. not replace Jvar with .Jvar = Jvar

+ Have mkGlobalsLocal() return the entire list, not just the ones that were changed.
   Make this an option.

+ mkGlobalsLocal() not changing references inside return() clause. See rstatic probably.


for loop concatenation, rewrite the code.
  We need type information about the elements to be able to initialize the answer vector.

[Done] removeAfterReturn  should work recursively to process blocks within functions.

[Done] remove unused parameters

[Done] remove unused assignments if we can tell there are no side effects of the RHS.