let object_array_of_root = function
Cvar x -> Some (object_of (array_of x.vtype))
| Lvar lv->
begin
match lv.lv_type with
| Ctype t -> Some (object_of (array_of t))
| _ -> None
end