Update simpletree.ml