SafeOperations

Sichere Operationen bilden Constraints
auf andere Constraints ab:

Constraint:

x > 0

sichere Operation:

x + 1

Ergebnis-Constraint:

x > 1
Anfang weiter