class TEST1 [G -> ANY create default_create end, H, I -> TEST2 [G, H] create make end] feature try require ok: (agent (a: like y b: like z): BOOLEAN do Result := a = y and b = z end).item ([y, z]) local x: G do create x end y: G z: H end