Разработка плагина Frama-C: получение результатов анализа стоимости

Я работаю над плагином для Frama-C, используя Value-analysis. Я просто хочу напечатать состояние переменных (значений) после каждого оператора (я думаю, что ...