Add an example of precondition check on assignment.