Added the list-is-consecutive-sequence procedure