[ocaml] fix sfparser: include file
[ocaml] fix bugs on sfdomain.ml: replace infix operator with function