#include "dyn_analysis_instr.h"
#include <string>
#include "../tools/c_definitions.h"
#include "../tools/systemc_definitions.h"
#include "../tools/variable_helper.h"
#include "../internal_representation/design.h"
#include "../internal_representation/event.h"
#include "../internal_representation/event_and_list.h"
#include "../internal_representation/event_or_list.h"
#include "../internal_representation/hierarchical_channel.h"
#include "../internal_representation/hierarchical_channel_instance.h"
#include "../internal_representation/inoutport.h"
#include "../internal_representation/inport.h"
#include "../internal_representation/instance.h"
#include "../internal_representation/initiatorsocket.h"
#include "../internal_representation/targetsocket.h"
#include "../internal_representation/module.h"
#include "../internal_representation/outport.h"
#include "../internal_representation/primitive_channel_instance.h"
#include "../internal_representation/variable.h"