class BB [G -> CC create make end] feature f local g: G do create g.make end end