OccurAnal
occurAnalysePgm
occurAnalyseExpr