+#define MC_assert(a) xbt_assert(a)
+#define MC_random(a, b) 0
+#define MC_automaton_new_propositional_symbol(a, b) ((void)0)
+#define MC_snapshot() ((void*)0)
+#define MC_compare_snapshots(a, b) 0
+#define MC_cut() ((void)0)
+#define MC_ignore(a, b) ((void)0)