The next procedure must also tell when there are no more candidates for the instance P, after the current one c.
Funktionen næste skal også fortælle om der er flere løsningskandidater til P efter den nuværende c.