class BB [G -> CC rename f as g end, H -> G]

feature

	f (c: H)
		do
			if c /= Void then
				c.g
			end
		end

end