Added precondition in conversion from ts map to vec - must be consecutive