regress/parser/smt2perr067.smt2:1:10: expected 1 argument to 'not', got 4