Fix bug in the `debugger` tool that prevented printing information at unification ports