Как записывается оператор с предусловием?​

// PascalABC.NET 3.1, сборка 1218 от 12.04.2016
begin
  var a:=ArrRandom(100,-20,20); a.Println;
  WritelnFormat('Положительных {0}, отрицательных {1}',
    a.Where(x->x>0).Count,a.Where(x->x<0).Count)
end.

Тестовое решение:
-19 12 19 -17 -5 10 -13 -2 -4 16 -6 -12 -3 5 -3 -6 -1 8 -19 -14 -1 9 -10 20 -7 20 5 17 -7 11 -5 -14 -19 -18 16 13 11 -2 -3 9 1 11 10 -13 8 -14 -15 -13 8 5 -7 20 -20 18 2 -8 2 19 10 -5 -15 -10 -16 5 1 -12 -14 -6 9 5 3 -20 -9 -7 6 9 20 -18 -8 -13 14 -3 -11 9 -3 -5 -15 -16 0 4 -10 12 8 -19 4 -10 6 -15 7 0
Положительных 44, отрицательных 54

Aurora 3D Text and Logo Maker - это продвинутый, мощный дизайнерский инструмент для создания уникального 3D текста, кнопок и логотипов, имеет достаточно большое количество шаблонов и готовых форм, которые можно использовать для создания собственного текста. Aurora 3D Text and Logo Maker имеет комплект эффектов, анимаций, текстур, с которых можно украсить 3D логотип или текст. При создании трёхмерного логотипа можно отрегулировать уровень света, добавить теней, рельеф, выбирать различные варианты искривления, выравнивания, освещения, наложения объектов и т. д. Допускается импорт шрифтов и SVG-графики. Итоговый вариант выводится в виде PNG, TGA, TIFF, JPG, BMP, XPM и PPM-файлов.