Generierung impliziter Variablen für das Forcing von E/As