пс = (1, 2, 3, 4)

якщо пс не є Послідовність
  впасти
кінець

якщо пс.довжина != 4
  впасти
кінець

якщо пс.обернути не є Дія
  впасти
кінець

псв = пс.обернути()

якщо псв.довжина != 4
  впасти
кінець

якщо псв[0] != 4
  впасти
кінець
якщо псв[1] != 3
  впасти
кінець
якщо псв[2] != 2
  впасти
кінець
якщо псв[3] != 1
  впасти
кінець