let is_array_reference_type ty =
  is_reference_type ty && isArrayType (direct_pointed_type ty)