expanded class TEST2 [G -> ANY create default_create end]
inherit
	ANY
		redefine
			default_create
		end
feature
	default_create
		do
			create a
		end

	a: G
end