Added external function handling (except mallocs)
Fixed a bug caused by top-level variable merging
Now the interpreter can pass all the jason tests.
Added k-CFA trace. Removed FlowSensitiveTrace because it isjust 0-CFA.
We can finally put TPA down for a while and focus on building sparse
graph.