allQNamesInExp allVarsInTerm checkUnsatWithSMT checkUnsatisfiabilityWithSMT decodeSpecialChars elimFailed elimFailedInTerm encodeSpecialChars excludedCurryOperations exp2SMT exp2SMTWithVars exprType fun2SMT funcsOfFuncDecl genSelName getAllFunctions ilog isTyped lit2SMT loadModulesForQNames ndExpr preloadedFuncDecls preludeType2SMT primNames readIncludeFile replaceHigherOrderInExp showWithLineNums tcons2SMT tconsOfTypeExpr tdecl2SMT transOpName transPrimTCons tsFreshVarIndex tsNewVars type2sort type2sortD typedVar2SMT untransOpName usedFunctions varOfSV