Sichere Operationen bilden Constraints auf andere Constraints ab: Constraint: x > 0 sichere Operation: x + 1 Ergebnis-Constraint: x > 1