ltl2tgba -f '(XXG!b M F!b) W (!a | !b)'
ltl2tgba -f '(XXG!b M F!b) W (!a | !b)' | autfilt --small
I'm really surprised the first command does not produce exactly the second output.