abstractCall adomBottom adomShow analysisDir applyPrimDTerm bench callPatternAnalysis checkArgs computeFixpoint concreteDom consDTerm createAnalysisDir cutDTerm dataModule depthDom eqSemInt extendListMap extractStrictness fEqsOfWorkSem genMainCalls getMainCall insertSemEq lessCSpecific lessDSpecific lessSpecificEqCallPattern lessSpecificEqResult main mainCallError matchCTerms matchDTerms ndInfoFileName printProgram printTiming processWorkList prog2DirFile runBench runFixpoint runFixpointWL showCTerm showDTerm showSemInt showStrictness sortFuncInfos strictInfoFileName transformExp transformInt transformNondet transformRules unApply updateSemEq