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