buffer bufferCmds bufferGlobalDefs checkSat closeSession declareVars dumpSession evalSMT evalSess evalSession evalSessionsImpl execSMT fresh get getDelimited getGlobalCmds getGlobalDecls getModel getSess getStdin getStdout getTrace getValues gets globalDecls handles info isIncremental liftIO2SMT liftIOA liftSMT modify optReset optTracing options put putSess res2Msgs resetSession rmvEchos rsp2Msg runSMT runSMTSess sendCmds startSession takeBuffer termSession trace