Fix epsilon closure and removes inf loop
Add function ENFA.transition