log/smt2perr103.smt2:2:18: second argument of 'store' is an array