Define control flow analysis
add data flow
add data flow
add data flow
Rename
control flow type
Link control flows
Implement the first optimization