class BB [G -> CC rename f as f alias "+" end] feature f (c: G) do if c /= Void then if c + 5 = 5 then print ("Passed") end end end end