#include "cthread_analyzer.h"
#include <boost/range/algorithm/set_algorithm.hpp>
#include "../internal_representation/design.h"
#include "read_write_analysis.h"
#include "../tools/file_classifier.h"