Chapter 2. Static Analysis: changed structure, more about DFA, still TODOs here and there