connect tgba_determinize() and dtwa_sat_minimize() in ltl2tgba
The framework illustrated by the figure at https://spot.lrde.epita.fr/satmin.html#sec-4 could be improved since we can now generate deterministic parity automata for any LTL formula.
In short, I'd like
ltl2tgba -D -x sat-minimize formula
to work for any formula for which a deterministic TGBA exists.