Update find_root.ml