Function render 

pub fn render(expr: &Expr, var_names: &[String], bitwidth: u32) -> String

Render the expression as a human-readable string, using var_names[var_index] for variables and modular-arithmetic semantics for negative constants.

negative-constant rendering rules.