Function sva_expr_to_string 

pub fn sva_expr_to_string(expr: &SvaExpr) -> String

Render an SvaExpr back to valid SVA text. Closes the round-trip: parse_sva(text) → SvaExpr → sva_expr_to_string → text.