FST.EpsilonFreeT
epsilonfree