Add 4 + 2 property test in F#