Update avl.ml