let object_of_array_elem = function
  | C_array arr -> object_of arr.arr_element
  | o -> Wp_parameters.fatal 
       "object_of_array_elem called on non-array %a." pp_object o