Проверка вычислимости формулы

• C++, консольное приложение
• Формат входного файла: MathML
• Проверить, что формула задана корректно, это вообще валидное вычисление
• Проверить, что все необходимые данные для вычисления доступны: переменные должны быть объявлены в аргументах функции или в параметрах операции SUM, MUL (сигма, пи большое)
• Вывести в консоль тип ошибки и контекст ошибки