This is in contrast to a "backwards must" analysis which would instead enforce this condition on all branches moving forward.
Ovo je kontrast u odnosu na “mora unazad” analizu koja bi umesto toga primenjuje ovo stanje na svim granama koje se kreću napred.