#include "cthread_analyzer.h"
#include "boost/range/algorithm/set_algorithm.hpp"
#include "read_write_analysis.h"
#include "../tools/file_classifier.h"
#include "../tools/systemc_definitions.h"
#include "../internal_representation/cthread.h"
#include "../internal_representation/design.h"
#include "../internal_representation/module.h"
#include "../internal_representation/port.h"
#include <vector>