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

feature

	f (c: G)
		local
			i, j: INTEGER
		do
			if c /= Void then
				i := + c
				j := c + i
				if j = 4 then
					print ("Passed")
				else
					print ("Failed")
				end
			end
		end

end