Python Control Flow Graph