#include "StdCollisionPairInserter.h"
#include "ColdetModelInternalModel.h"
#include "Opcode/Opcode.h"
#include <cstdio>
#include <iostream>