SQA Days #35 — Юрий Каменев, Тестирование символьного анализатора для блокчейна TON