HOA output with implicit edges
Add a option ('i' for implicit) to hoa_reachable
so that --hoa=i
uses implicit edges if the automaton is deterministic and complete.
Add a option ('i' for implicit) to hoa_reachable
so that --hoa=i
uses implicit edges if the automaton is deterministic and complete.