log/smt2perr015.smt2:1:14: expected ')' after asserted expression at 'true'