Lexical scoping analysis.
Some unit tests.