nitc :: TypeVisitor :: mmodule=
Used to correctly query the model
# The module of the analysis # Used to correctly query the model var mmodule: MModule is noinit