In the following, example, however: d1 : y := 3 d2 : y := 4 d3 : x := y d1 is no longer a reaching definition for d3, because d2 kills its reach: the value defined in d1 is no longer available and cannot reach d3.
Ali, u narednom primeru: d1 : y := 3 d2 : y := 4 d3 : x := y d1 nije više definicija dostignuća za d3, jer d2 smanjuje njeno dostignuće: zato što vrednost definisina u d1 ne može da dostigne d3.