Vera ++ Reguła TCL: wyświetl wszystkie zmienne lokalne [zamknięte]

Próbuję napisać regułę dla analizatora statycznego vera ++. Odkąd nie znalazłem tutaj grupy dla vera ++ i vera ++ używa TCL do implementacji swojej reguły do...