expanded class EXPANDED_CLASS

inherit
	ANCESTOR_1

	ANCESTOR_2

feature

	change_state
		do
			create a
		end

	a: ANY

end