Working ENFA translation to NFA