class BB [G -> H rename f as g end, H -> CC] feature f (c1: G; c2: H) do if c1 /= Void then c1.g end if c2 /= Void then c2.f end end end