class BB [G -> CC rename f as x alias "+", g as z alias "+" end]

feature

	f (c: G)
		local
			i: INTEGER
		do
			if c /= Void then
				i := c + 4
			end
		end

end