class TEST1 [G, H -> TYPED_PREFERENCE [G] create make end] feature f: H do create Result.make end do_something do end end