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