Maybe its because the sequence gets a batch of IDs in the cache anddiscards it with a crash? So unused sequence-ID get lost, while thesequence is reset to the number of the last really used ID during anormal shutdown?
Just a thought.