Du versuchst dich an Codeoptimierung. Ich hoffe du hast etwas Programmiererfahrung, für einen Anfänger kann das sehr schnell sehr frustrierend werden.

Dazu brauchst du einen Parser, der die Struktur der Programmiersprache erkennt und die Sprachelemente in eine Struktur wandelt.
Ein Interpreter wird gebraucht, der die Variablen mit den vorgegebenen Bedingungen prüft und die Codeteile in der Struktur markiert, die niemals erreicht werden.
Zum Schluss brauchst du einen Compiler, der vom Parser/Interpreter erzeugte Struktur wieder in die Sprachelemente übersetzt.

Jedes für sich ist eine Herausforderung.

Alle drei Teilbereiche werden über eine Datenstruktur verbunden, welche die Befehlsstruktur der Programmiersprache abbildet. Sich darüber klar zu werden, wie diese Aussehen muss ist die erste Hürde.

Beim Parsen der Sprache musst du sicher stellen, dass dies immer im Sinne der Logik, die hinter der Sprache steht, geschieht. Hier brauchst du nicht nur einen vollständigen Überblick über alle Befehle, sondern auch darüber wie andere Interpreter/Compiler diese parsen/umsetzen.

Das Erzeugen des Codes aus der Datenstruktur ist vergleichsweise einfach, kann aber dennoch einige Hürden haben, da die Struktur nicht zwangsläufig dem Ablauf des Codetextes folgen muss.

Das Optimieren des Codes ist der schwierigste Teil und die Komplexität dieses Teiles hängt essenziell von der Komplexität der Programmiersprache ab.

Reihen von IF Bedingungen sind recht einfach durch eine lineare Analyse zu lösen. Schwieriger wird es bei Schleifen.
Mal ein Beispiel:

Das ist schon durch eine lineare Analyse des Codes nicht mehr zu lösen. Wenn nun noch so Befehle wie GOTO existieren, dann wird es Kompliziert.

Weiterhin hat eine Programmiersprache auch Variablen dessen Inhalte unbestimmt sind, da sie z.B eine Benutzereingabe enthalten können. Auch zuvor bestimmte Variablen können später unbestimmt sein.

Um eine ordentliche Analyse durchführen zu können musst du einen Interpreter schreiben, der Aktionen auf bestimmte Variablen ausführt und unbestimmte erkennt und markiert. Weiterhin muss er die Bereiche des Codes erkennen und Markieren, die durch bestimmte Variablen niemals erreicht werden.

Das ist ein Problem das man nicht auf die leichte Schulter nehmen kann. Wenn man nicht sehr sorgfältig arbeitet wird das zu unberechenbaren Ergebnissen führt. Ich spreche aus Erfahrung.