Klever

Nowadays EMG forbids adding savepoints to the main process that causes users to manually move content of that process to the process with savepoints. This is quite tedious and error-prone, while often it has sense to add savepoints to the main process to have several environment models starting from the beginning, e.g. users may want to consider different error behaviors of the environment within independent environment models and verification tasks.