Fixed bugs in To_String_Tree