If all a variable's reaching definitions are the same assignment which assigns a same constant to the variable, then the variable has a constant value and can be replaced with the constant.
Ako sve dostupne definicije jedne promenljive predstavljaju istu dodelu tj. dodeljuju istu vrednost konstante promenljivoj, tada promenljiva ima konstantnu vrednost i može biti zamenjena konstantom.