Function rename_expr 

pub fn rename_expr(
    expr: &Expr,
    env: &HashMap<String, String>,
    scope: &mut Scope<'_>,
) -> Expr

Renames every binder in an expression; env maps source names to target names.

Panics

On a variable the environment does not bind, which a checked program never has.