nitc :: ToolContext :: _phased_modules
# Set of already analyzed modules. private var phased_modules = new HashSet[AModule]