Implementation chapter: intermediate languages, control flow graph, ...