Function outer_value_write_names 

pub fn outer_value_write_names(
    body: &[SNode],
    match_patterns: &MatchPatternCatalog,
) -> Vec<String>

Values outside this block that any assignment may change. A declaration inside the block shadows an outer value; property writes still mutate their receiver. Nested callables are conservative because their effects may escape.