Create execution flow graph of program