Ameliorations for exception in OCaml

See Poor man's static exception analysis with alerts