eps() and ndfsm_to_dfsm() working