Anfang weiterconstraint-sichere Werte
Beispiel: (RolleNiederlassungNord and RolleFilialeNord) beide Prädikate inkludieren RolleRegionNord (immer erfüllt, wenn Constraint erfüllt) SafeMember (Code wird im Constraint generiert) public final Region.Nord regionNord = (Region.Nord) ctxObj.region; Manueller(gefährlicher) Cast (durch Anwendungsprogrammierer) nicht erforderlich.