add expr v2 in ocaml