All Items DeattachedCode template contract predicate to ensure a chained container structure has only detached itemsEiffel Softwareall_detachedEiffelcodecontractinvariantpreconditionpostcondition
${container}_items_deattached: ${container}.occurrences (Void) = ${container}.count${end}