[Transformers] CTransformers: typage ?

Coucou, je suis en train d'étudier la faisabilité d'annoter des programmes C existants (en particulier: les boucles) avec des extensions de syntaxes gérées (par ailleurs) par un compilateur parallélisant. Pour cela je dois déterminer les dépendances entre itérations, et donc connaître le type et la portée des variables utilisées. Pour l'instant ma stratégie est d'aller implanter mes transformations à l'intérieur d'un compilateur C existant, après la phase de typage, mais on (*) m'a suggéré de regarder vers chez vous. La question est: dans quelle mesure CTransformers expose actuellement les types des variables dans l'AST ? (j'ai l'impression que la réponse est: pas beaucoup, seulement au point de définition. Mais je demande à tout hasard...) voilà, toute réponse serait bienvenue :) merci d'avance, raph (*) E. Visser, à qui j'en ai touché un mot par accident