I agree, doing this asserting using preconditions at the update-attr function