let lvar _m lv x = let ty = match lv.lv_type with | Ctype ty -> ty | _ -> assert false in loc_of_term (Ctypes.object_of ty)(F.var x)