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

feature

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

end