Dass die Option noch nicht gezogen wurde, liegt meiner Meinung nach auch nur daran, dass das erst gemacht werden kann, wenn klar ist, in welcher Liga man nächstes Jahr spielt.
Denkbar wäre einerseits, dass der Vertrag nur für die erste Liga gültig wäre oder andererseits, dass zB die Höhe der Option abhängig von der Liga ist.