Desarrollo del complemento Frama-C: obtención del resultado del análisis de valor

Estoy trabajando en un complemento para Frama-C, utilizando el análisis de valor. Simplemente quiero imprimir el estado de las variables (valores) después de cada declaración (creo que la solución es bastante fácil, pero no ...