let bind_fresh env lv : (F.var * env) =
    let x = fresh_local lv in
    x , bind_lvar env lv (F.var x)