[test] add test files: {action2,global2}.sfp
[ocaml] implement SFP action valuation functions