Current status: work on Control Flow Graph