[OCaml] Add tests for branch and successors functions.