#include "data_conflict_table.h"
#include <fstream>
#include "../tools/variable_helper.h"
#include "../internal_representation/design.h"