Currently we're copy pasting the logic for control flow analysis. See: uninitialized.lua, gc.lua Once we have more practice with it, we should abstract it into a separate file.