-XBT_PUBLIC void MC_ignore_global_variable(const char* var_name);
-
-#else
-
-#define MC_is_active() 0
-#define MC_visited_reduction() 0
-
-#define MC_assert(a) xbt_assert(a)
-#define MC_automaton_new_propositional_symbol(a, b) ((void)0)
-#define MC_automaton_new_propositional_symbol_pointer(a, b) ((void)0)
-#define MC_cut() ((void)0)
-#define MC_ignore(a, b) ((void)0)
-
-#define MC_ignore_heap(a,s) ((void)0)
-#define MC_remove_ignore_heap(a,s) ((void)0)
-#define MC_ignore_global_variable(v) ((void)0)
-
-#endif