Added preconditions for addMember.