introduction of control flow graphs to ease the analysis