log/smt2perr102.smt2:2:16: first argument of 'store' is not an array