gasche @irc.freenode.net was so kind telling me about bisect. I was able to adopt the code to make what I need: trace execution points in ocaml code.
So thanks for your nice template.

I'm creating this bug request to tell you that I think this feature could be useful to others. I don't know that much ocaml yet which is why I want to let you decide on whether to integrate it and which is the best way to do so: