Make sure that tvin is used in the allowed places only