subset construction WIP