Added post conditions to removeLonableItem and addMember