expanded class
	A [G -> HASHABLE]

inherit
	B [G]

end