log/smt2perr108.smt2:2:17: argument 1 of 'concat' is an array