reanalyze

Dead values/types, exception, and termination analysis for OCaml/Reason