Some auxilary functionalities.
Nodes of different colours represent the following:
Solid arrows point from a submodule to the (sub)module which it is
descended from. Dashed arrows point from a module or program unit to
modules which it uses.
Prominently let the user now, what he actually is running right now.
contains solver header information