simplification of sequence_number validity test