worked on control flow graph generation