Is Detached or EmptyCode template contract predicate to ensure a finite entity is detached or is emptyEiffel Softwareis_detached_or_emptyEiffelcodecontractpreconditionpostcondition
${var}_is_detached_or_empty: ${var} = Void or else ${var}.is_empty${end}