Deatached Code template contract predicate to ensure an entity is deatached Eiffel Software unattached Eiffel code contract precondition postcondition An entity that should be detached