Simple debugging can be done with Make_Message to allow you to see a value during execution.
Some other debug stuff was setup by the old developers. It was not well documented. I am not that familiar with it. You may get some incite by looking at the file in the Src directory under the install directory called TDbg.sh.