CMakeLists: use outside VATA
NewStateSet: preparing for subsumption