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