log/smt2perr104.smt2:2:28: third argument of 'store' is an array