addCalledFunctions
addUsedTypes
analysisClient
analysisClientWithStore
consDeclsOfType
execCombinedAnalysis
executeAnalysis
funcInfos2ProgInfo
getInterfaceInfosWS
getStartValues
isVisibleFunc
isVisibleType
lookupError
map2
newProgInfoStoreRef
runAnalysis
simpleIteration
typeInfos2ProgInfo
unknownFixpointMessage
updateList
updateValue
wlIteration