Перезапрашивать formalize/fix если предыдущий запрос вернул описание ошибки

[stewkk]

В #86 добавили поле ошибки метода convert для автоматического исправления ошибок формализации TRS.

Нужно перезапрашивать formalize/fix с описанием ошибки, если предыдущий запрос к formalize вернул непустую ошибку. Также реализовать уведомление пользователя о перезапросах

[stewkk]

Alexandr Starovoytov, [13/11/2024 20.17]
/trs

Система переписывания термов:
f(x)=h(x)
g(x)=f(f(x))

—————————

Интерпретации конструкторов:
h(x) = 1
f(x)=x{2}+2*x+1
g(x)=x{3}

lab1, [13/11/2024 20.31]
Результат формализации\:
variables = x
f(x)=h(x)
g(x)=f(f(x))
h(x)=1
f(x)=x**2+2*x+1
g(x)=x**3

Подтвердите его с помощью кнопки под этим сообщением\, либо опишите ошибку в новом сообщении

[stewkk]

Alexandr Starovoytov, [14/11/2024 10.42] /trs

Система переписывания термов: f(x)=x

Интерпретации конструкторов: f(x) = 1

lab1, [14/11/2024 10.57] Ошибка при обработке запроса: error formalizing trs: f(x)=f(g(x)) не присутсвует в начальном запросе