Control-Flow Analyses and Static Single Assignment form - Depth First Analysis of Flow Graphs