[ocaml] fix bugs on dnf_of
[ocaml] make FDR output to be landmarks friendly