epsilonClosure not completed