Added features to generateDefaultStates().