check the consistency of variables' types related to calling adjust_iv_with_old_iv()