assertion in translate
% bin/ltl2tgba -D 'G(!p0 & F(p1 M !FXp1))'
ltl2tgba: translate.cc:269: spot::twa_graph_ptr spot::translator::run_aux(spot::formula): Assertion `!si.is_trivial(0)' failed.
% bin/ltl2tgba -D 'G(!p0 & F(p1 M !FXp1))'
ltl2tgba: translate.cc:269: spot::twa_graph_ptr spot::translator::run_aux(spot::formula): Assertion `!si.is_trivial(0)' failed.