regress/parser/smt2perr111.smt2:1:10: expected 1 argument to 'not', got 0