class TEST1 [G -> ANY create default_create end, H -> TEST rename hamster as turkey alias "+" end, I -> TEST2 [G, H] create make end] create make feature make (n: H) do z := h end 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 print (z + 3) end y: G z: H end