Renamed Set utility to DFASet, since this is tied to the DFA module.