Analysis for array_type