Include file:
#include "mcrl2/data/add_binding.h"
add your file description here.
mcrl2::data::add_data_variable_binding
mcrl2::data::add_data_variable_builder_binding
mcrl2::data::add_data_variable_traverser_binding
mcrl2/data/abstraction.h
mcrl2/data/alias.h
