Since every variable can usually take more than one value, the maximal index that comes out from the check for each value is a safe jump, and is the point where Gaschnig's algorithm jumps.
Пошто свака променљива обично може имати више од једне вредности, максималан индекс који је добијен провером за сваку вредност је сигуран скок, и то је тачка у коју скаче Gaschnig-ов алгоритам.