rename hoa_reachable, dotty_reachable, ...
The _reachable
part of these function does not make sense anymore, as we print the entire automaton, not only the reachable part.
Let's rename those function to print_hoa
and print_dot
. Also print_never_claim
.