`ltl2tgba` side effect with stream of formulae
ltl2tgba is fed a stream of formulae, it does not find the same automata as if given the same formulae one by one.
The attached file provides such a sequence.
On the last formula of the file,
ltl2tgba -D -G finds an automaton with 5 states if the formula is given alone, and finds an automaton with 4 states all 36 formulae of the file are given.