expanded class
	E

convert
	to_b: {B}

feature

	to_b: B is do end

end