* src/tgbatest/ltl2tgba.cc: Properly free memory * src/taalgos/tgba2ta.cc, src/taalgos/emptinessta.cc: print logs