All Items UnattachedCode template contract predicate to ensure a chained container structure has only attached itemsEiffel Softwareall_unattachedEiffelcodecontractinvariantpreconditionpostcondition
${container}_items_unattached: ${container}.occurances (Void) = ${container}.count${end}