Статический анализ и property-based тестирование: вместе мы сила / Habr Приведите примеры использования цикла