実験した者だが、少なくとも上記の例ではオプション無しの通常契約(2)の方が
2年目がチームオプションの場合(1)より少しだけトレード対価が良かった。
Ozunaの契約以外の条件は完全に同じ(契約をエディットしただけ)なので
チームオプションが球団側にとってメリットしかないという判定ができていないと思う。
(ちなみに、Ozunaのバイアウトは0)
(1)と、その年限りの契約にした(7)の結果がほぼ同じなので、
AIはチームオプションの選手を放出することが判定のベースになっている気がする。

でも1例を試しただけだから、対象や条件が違う場合も検証した方が良いかも知れない。
もっと若い選手なら、残すことを優先する判定になるとかね。