class TEST1 [H -> TEST2 [ANY]]
feature
	c: like {H}.weasel

end