Fixed (?) a few things.

This is before I attempt, during the determinization step, to only
check histories of length L_max when we have no histories of L_max - 1
in a precausal state.