[ocaml] fix FDR generator -- remove goal of variable with single value domain
[ocaml] implement -fd option
[ocaml] update help
[test] add sfp test-case