epsilonClosure() moved to Helpers