Regla de Vera ++ TCL: listar todas las variables locales [cerrado]

Estoy tratando de escribir una regla para el analizador estático vera ++. Como no encontré un grupo para vera ++ aquí y vera ++ usa TCL para implementar su r...