added mli; made make_tree_exn work