Outline intraprocedural CFG creation