Basic Blocks and flow graph