ltl2tgba failure
% ltl2tgba --low 'X(((1) U (p1)) | (((p1) | (F(p0))) U ((0) R ((p2) M (p1)))))'
ltl2tgba: print_hoa(): automaton is universal despite prop_universal()==false
% ltl2tgba --low 'X(((1) U (p1)) | (((p1) | (F(p0))) U ((0) R ((p2) M (p1)))))'
ltl2tgba: print_hoa(): automaton is universal despite prop_universal()==false