basic blocks and flow graphs