Prior to handling L_max-only states.

Before modifying the code to handle those states with only histories of
length L_max when removing transients / determinizing.