Improved debugging support for new umundo-debug