Remove the empty set hack I had inside the subset construction, and then fixup the Finals table produced by the TableCompiler.