[ocaml] fix bug on assignment valuation function