deferred class T_TRAVERSABLE [G]

feature

	item: G is
			--
		require
			from_test2: True
		deferred
		end

end