don't emit domtree in thorin dump