Control/Data Flow Graph builder to represent the program control flow and variable definition and usage.