Instead of asserting objects are valid at the service level, add @PreValidateThis to save() and @PostValidateThis to update(). - Add @Guarded - Disable checking of Invariants - Unit test the save, update and delete methods.