Rewrite printing of blackboxed modules

We have to do it at the end of the analysis process
because some of the module names are known only
during the run time.