log/smt2perr016.smt2:2:1: expected ')' after 'exit' at end-of-file