evaluation strategy in ocaml