Control-flow analysis of a simple functional programming language.