This is the first commit that fix context-sensitive analysis. It adds
another level of indirection for top-level env/store lookup. The kCFA
trace is not thoroughly tested though. It just works on very small toy
tests.