log/smt2perr124.smt2:3:1: unexpected end-of-file, '(' at line 2 column 9 not closed