src/tgbaalgos/gtec/gtec.hh (couvreur99_check::print_stats): New. * src/tgbatest/ltl2tgba.cc: Print emptiness-check statistics.