Better array-store-all output for SMT-LIB.