if (_mc_property_automaton == NULL)
_mc_property_automaton = xbt_automaton_new();
xbt_automaton_propositional_symbol_t symbol = xbt_automaton_propositional_symbol_new_callback(
_mc_property_automaton, id, callback, data, free_function);
register_symbol(symbol);
if (_mc_property_automaton == NULL)
_mc_property_automaton = xbt_automaton_new();
xbt_automaton_propositional_symbol_t symbol = xbt_automaton_propositional_symbol_new_callback(
_mc_property_automaton, id, callback, data, free_function);
register_symbol(symbol);