log/smt2perr028.smt2:1:16: expected '(' after function name at 'not-a-left-paranthesis'