log/smt2perr163.smt2:2:28: argument 2 of 'concat' is an array