#include "mapped_variable.h"
#include "../internal_representation/design.h"
#include "../internal_representation/hierarchical_channel.h"
#include "../internal_representation/primitive_channel.h"
#include "../tools/variable_helper.h"