*% +% -% /% /=% <% <=% =% ==> >% >=% assert boolSort comment declVars echo false floatSort forAll funSC intSort isDeclData isEcho nop orderingSort qtcomb scomb tabs tand tchar tcomb tfloat tint tneg tnot tor true tvar unqual var var2SMT