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

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

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

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

псв = пс.перетворити(дія(ел): ел * 2)

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

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