ocaml 3.12 is ok (remove compiler constraint)
updated tests