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