Add specific dbgprinttree() method to clifford.