Add unit tests for codegen

The initial codegen is missing some things and does not yet produce valid code, since it was primarily targeting generation of constraints.

The following should be added:
- any missing required codegen in order for output files to be valid
- Unit tests for each of the generated methods / structs

Schauen Sie sich die bestehende Codegen-Implementierung an, um zu verstehen, welche Methoden und Strukturen generiert werden. Identifizieren Sie fehlende Teile, die für eine gültige Ausgabe benötigt werden. Schreiben Sie Unit-Tests für jede generierte Methode/Struktur, wahrscheinlich im Testverzeichnis. Führen Sie bestehende Tests aus, um sicherzustellen, dass die neuen Tests korrekt integriert sind.

Vom Indexierungsmodell aus dem Issue-Text verfasst.