Fix the gdb helper for printing frametrees, no bug, DONTBUILD

Landed on a CLOSED TREE