- xbt_propositional_symbol_t ps = xbt_new_propositional_symbol(automaton,"d", &predD);
- ps = xbt_new_propositional_symbol(automaton,"e", &predE);
+ xbt_propositional_symbol_t ps = xbt_new_propositional_symbol(automaton,"p", &predP);
+ ps = xbt_new_propositional_symbol(automaton,"q", &predQ);