Time and setting dependent instrument parameters and proofs of Bell-type inequalities