[KISEMA-1591] Pre in Count Delay Transformation is superfluos

[fabianheyer]

[Issue KISEMA-1591 migrated from JIRA, first reported on 2020-06-17]

We use pre in the transitions of count delay but this is no longer necessary when there is no parallel update of the counter variable. During was moved into the state, everything is sequential.

However, the counter possibly should not be incremented in the state because this will result in a strong self about when having count delays on strong aborts.