#include "ColdetModel.h"
#include "ColdetModelInternalModel.h"
#include "Opcode/Opcode.h"
#include <map>
#include <iostream>