modelize_property: always check `redef` With a lesser strict version for the implicit main.
modelize_property: always check `redef`
With a lesser strict version for the implicit main.

I am not really sure why the original code was this.

Signed-off-by: Jean Privat <51f8b1fa9b424745378826727452997ee2a7c3d7@pryen.org>

ventilooo/nit,itsWill/nit,privat/nit,Freddrickk/nit,ablondin/nit,Freddrickk/nit,colinvidal/nit,itsWill/nit,MehdiAit/nit,ventilooo/nit,ventilooo/nit,Freddrickk/nit,MehdiAit/nit,jpcaissy/nit,colinvidal/nit,jcbrinfo/nit,jpcaissy/nit,privat/nit,itsWill/nit,jpcaissy/nit,itsWill/nit,privat/nit,privat/nit,jcbrinfo/nit,privat/nit,jpcaissy/nit,ventilooo/nit,ppepos/nit,MehdiAit/nit,MehdiAit/nit,jcbrinfo/nit,Freddrickk/nit,ablondin/nit,ventilooo/nit,ablondin/nit,MehdiAit/nit,ppepos/nit,itsWill/nit,Freddrickk/nit,jcbrinfo/nit,privat/nit,ablondin/nit,Freddrickk/nit,MehdiAit/nit,jcbrinfo/nit,ventilooo/nit,privat/nit,ppepos/nit,ppepos/nit,colinvidal/nit,jcbrinfo/nit,jcbrinfo/nit,MehdiAit/nit,colinvidal/nit,ventilooo/nit,colinvidal/nit,privat/nit,jpcaissy/nit,Freddrickk/nit,colinvidal/nit,ppepos/nit,itsWill/nit,ablondin/nit,itsWill/nit,jcbrinfo/nit,ppepos/nit,Freddrickk/nit,ablondin/nit,ventilooo/nit,privat/nit,jcbrinfo/nit,itsWill/nit,MehdiAit/nit,MehdiAit/nit,jpcaissy/nit,privat/nit,ventilooo/nit,colinvidal/nit,jcbrinfo/nit,jpcaissy/nit,jcbrinfo/nit,itsWill/nit,ablondin/nit,ventilooo/nit,MehdiAit/nit,colinvidal/nit,ppepos/nit,ablondin/nit,jpcaissy/nit,itsWill/nit