class TEST
 
create
    make
 
feature
 
    	make
		do
			create x
			print (x.generating_type); io.new_line
		end

	 x: like {PROCEDURE [ANY, TUPLE [like {like {TEST2 [TEST2 [DOUBLE, DOUBLE], DOUBLE]}.default}.default]]}.operands

end