pub fn replace_nat_lit(expr: &Expr, old: u64, new: u64) -> Expr
Replace all literal naturals with a given value.