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