is_tree function

Is x a tree?