ltl2tgba -x ltl-split=1 -G -D 'GF(a&Xa) & FG(!a <-> XXX!a)'
ltl2tgba -x ltl-split=0 -G -D 'GF(a&Xa) & FG(!a <-> XXX!a)'