Desenvolvimento do plugin Frama-C: Obtendo resultado da análise de valor

Estou trabalhando em um plug-in para o Frama-C, usando a análise de valor. Eu simplesmente quero imprimir o estado das variáveis (valores) após cada instrução (acho que a solução é silenciosamente fácil, mas não consegui descobrir). Eu tenho o ...