- @i @Statseq.0.lblcnt_in@ = @Statement.lblcnt_in@ + 1;
- @i @Elsestat.lblcnt_in@ = @Statement.lblcnt_in@;
- /* TODO: welchen wert lblcnt_out zuweisen? :/ */
- @i @Statement.lblcnt_out@ = @Statseq.lblcnt_out@;
+ @i @Statseq.0.lblcnt_in@ = @Statement.lblcnt_in@ + 1;
+ @i @Elsestat.lblcnt_in@ = @Statseq.lblcnt_out@;
+ @i @Statement.lblcnt_out@ = @Elsestat.lblcnt_out@;
+
+ /* im Elsestat muss noch ein label numeriert werden */
+ @i @Elsestat.reallblcnt@ = @Statement.lblcnt_in@;