log/smt2perr107.smt2:2:10: argument to 'concat' missing