Control-Flow Graph and Local Optimizations – Part 2