injection_visibility_tck12