Is there a concern while using of computations with 'pred, 'last, 'first and expressions using them giving the correct answer

A table is used to ensure that 'pred, 'last, etc. produce the right answer, even for enumerations with holes in the representation.