sbacc() failure
This was reported by @xblahoud.
Using foo.hoa:
% autfilt -S foo.hoa
autfilt: print_hoa(): automaton is complete but prop_complete()==false
This was reported by @xblahoud.
Using foo.hoa:
% autfilt -S foo.hoa
autfilt: print_hoa(): automaton is complete but prop_complete()==false