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