added new lab proc.dyn.tree_isSearchTree