branching on diffs for OCaml (untested)
cuts and axioms: fixed multiple bugs
a few examples with axioms