All Items AttachedCode template contract predicate to ensure a chained container structure has only attached itemsEiffel Softwareall_attachedEiffelcodecontractinvariantpreconditionpostcondition
${container}_items_attached: not ${container}.has (Void)