+void MC_automaton_load(const char *file){
+ MC_SET_RAW_MEM;
+ if (_mc_property_automaton == NULL)
+ _mc_property_automaton = xbt_automaton_new();
+ xbt_automaton_load(_mc_property_automaton,file);
+ MC_UNSET_RAW_MEM;
+}
+void MC_automaton_new_propositional_symbol(const char* id, void* fct) {