ltl2tgba 'GF(a && GF(b))' has two states, while the equivalent ltl2tgba 'G(Fa && Fb)' has only one.
ltl2tgba 'GF(a && GF(b))'
ltl2tgba 'G(Fa && Fb)'