Здравствуйте, Sinclair, Вы писали:

S> Поэтому интересно, какова мелкая структура AST.

В кратце — так: В AST загруженные сборки разложены по классам, и мемберам классов. На данный момент мембер может быть трех типов (метод|поле|евент). Узел AST для метода имеет специализированные свойства среди которых ссылка на список IL инструкций, Этот список не readonly.
Более наглядные, в этом обзорном документе, в приложении есть схемы.