Yices SMT solver's binding for the OCaml programming language