Module analysis 

通用轻量分析：局部变量读/写集合（只依赖 Lang 规范词汇表）。

Structs

TreeMetrics

一个根（通常是方法体）的结构指标。

Functions

local_writes

node 子树中显式写的局部变量名集合。 注意：Call/Member 等不可知的写不计入——但那些节点的 effect 会是 Unknown/MayThrow，调用方须先按 effect 分类，再对“只读局部”路径用本函数。

prefix_effects_readable

求值顺序上位于 target 之前的兄弟子树，效果是否全部 ≤ MayRead。 （局部变量读与“非写”效果之间可重排；任何 MayThrow 及以上都阻断。）

reads_vars

node 子树中所有被读的变量名（VarRef）。

structurally_equal

两棵子树是否语法结构相同（kind/运算符/字面量/变量名/children 逐位一致）。 用于 c ? a : a 这类同支折叠的判定。纯语法比较，不含语义等价判断。

subtree_contains

子树中是否存在满足谓词的节点（迭代，防爆栈）。

subtree_metrics

从 root（方法体等）累计结构指标。