Coverage testing
To extend the test suite it would be good to measure the coverage of the codebase to guide the writing of new tests. I don't know coverage testing tools for Ott or Coq so to obtain coverage report the simplest is probably to instrument the OCaml extracted code using ppx_bisect.