expanded class TEST2 inherit ANY redefine default_create end create default_create feature default_create do print ("Starting%N") if attached {TEST2} (Current) as x then print ("Conforms in TEST2%N") end end end