Private dfastate

nitcc genrates a bunch of subclasses of DFAState, but did not mark them private altrought they are not useful for the programme and polute the auto-documentation.