let mk_lvar_addr v =  match v.lv_origin with
    | None -> assert false
    | Some cv -> mk_cvar_addr cv