log/smt2perr109.smt2:2:27: argument 2 of 'concat' is an array