Entfernen von Redundanten Variablen

Transformation:

Ersetze die Benutzungen einer Variable x durch Benutzungen der Variable y falls y eine Kopie von x ist

t2 := t3;

...

t1 := t2 + j ;

t2 := t3;

...

t1 := t3 + j;