class BB [G -> TUPLE rename count as g end]

feature

	f (a: G; t: TUPLE)
		do
			if a /= Void and then t /= Void and then a = t and then a.g = t.count then
				print ("Passed")
			end
		end

end