Not Has Item Code template contract predicate to ensure a container structure does not have an item Eiffel Software not_has_item Eiffel code contract invariant precondition postcondition An attached container variable to check the item's absence An entity returning the item to ensure the absence of