Add the automaton name in the message warning that a synclab is not used in some of the PTA where it is declared