Fixed bug in C automata: different sets of messages in states