Function local_writes 

pub fn local_writes<'a, L: Lang>(lang: &'a L, id: L::Id, out: &mut StrSet<'a>)

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