Added DC tree dot file and ocaml script