[model-checking] Комментарий ко второму заданию