does not leak on errors. * src/tgbatest/ltl2tgba.cc: Free the automata if it could not be fully parsed.