+#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_automaton_new_propositional_symbol_callback(id,callback,data,free_function) \
+ if(free_function) free_function(data);
+#define MC_snapshot() ((void*)0)
+#define MC_compare_snapshots(a, b) 0
+#define MC_cut() ((void)0)
+#define MC_ignore(a, b) ((void)0)