nitc :: ToolContext :: mmodules_to_check
# Modules to analyze, other modules will only get a shallow processing. var mmodules_to_check = new HashSet[MModule]