I'm not so sure that similar assertions should be part of the CDI TCK. More likely, I would expect similar tests in umbrella/integration TCK.