let s_array () = if Flags.Arrays.smt () then HString.mk_hstring "Array" else HString.mk_hstring "FArray"