Added StateSet for subset NFA conversion method. Started conversion code.