Function render_linear_terms 

pub fn render_linear_terms(
    t: &LinearTerms,
    resolve: &impl Fn(VarId) -> String,
) -> String

Render a LinearTerms snapshot by:

• zero coefficients skipped,
• unit magnitudes omitted,
• multiplication implicit,
• the constant last.

An empty expression renders as 0.