class
	A
	
convert
	to_b: {B}
	
feature -- Conversion

	to_b: B
		do
			create Result
		end
	
end