let no_infinite_array = function 
    | C_array {arr_flat = None-> false 
    | _ -> true