Hallo ukdxs,
in der vorherigen Frage war die FRage, ob allgemein immer i=10 getestet werden koenne. Wie damals beantwortet muss man sich eine geschickte Pumpvariable waehlen und dazu ist weder i=0 noch i=1 gut geeignet. $ i=2$ oder groesser, eignet sich meist besser, da schnell eine der zwingenden Belegungne widerlegt werden kann. Auf jeden Fall haengt es von der konkreten Sprache ab.
Viel Erfolg,
Marvin (Tutor)