remove unused NonLeaf.toString method