Added the capability to pretty print the DRT