impl traversal defintion and test
update