Fix CLTL to automata construction: new nodes were not added to the intermediate automaton, so that it remained empty.
Fix CLTL to automata construction: new nodes were not added to the intermediate automaton, so that it remained empty.

kyouko-taiga/spaction