let sym_is_update = function Arrays(Update-> true | _ -> false