convert dfs to iterative, and add FIXMEs for remaining recursive functions
convert dfs to iterative, and add FIXMEs for remaining recursive functions

boalang/compiler,boalang/compiler,boalang/compiler,boalang/compiler,boalang/compiler