log/smt2perr153.smt2:2:1: expected '(' after 'exists' at end-of-file