Much better print_tree and made L_* and R_* unitary