Vraagstelling
	Bepaal het aantal auto's in File met een dieselmotor

Strategie

Formele probleemspecificatie
	pre: File = FILE
	post: x = (Ni:1<=i<=3:FILE(i).DeMotor=diesel)

* Eindrelatie
	R:x = (Ni:1<=i<=3:FILE(i).DeMotor=diesel)

* Invariant
	x = (Ni:1<=i<=k:FILE(i).DeMotor=diesel) ^ 0<=k<=3

* Stopcriterium
	k!=3

Initialisatie
	k=0;
	x=0;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	x = (Ni:1<=i<=k-1:FILE(i).DeMotor=diesel) + (Ni:i=k:FILE(i).DeMotor=diesel) 

Algoritme

public int TelDiesel(Rij File){
	int k=0;
	int x=0;
	while(k!=3){
		k++;
		if(FILE(k).DeMotor==diesel){
			x++;
		}
	}
	return x;
}