Function collect_additive_terms 

fn collect_additive_terms(
    expr: &Expr,
    out: &mut Vec<String>,
) -> Result<(), RError>

Recursively collect symbol names from additive terms (x1 + x2 + x3).