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