You are correct. The problems are set up so that all of the verifiers are required to determine the solution uniquely, and so if one of the verifiers has the condition "There are 3 1s in the solution" it would render all of the others redundant to finding the solution.
This is hinted at in the rules under "Advanced Strategy" where it says:
You will understand, right from setup, that there are certain questions you will not need to ask.
This also extends to interactions between the verifiers - for example, verifier 17 reacts to the number of even digits in the solution, and verifier 18 reacts to whether the sum of digits in the solution is even or odd, which would always be redundant if they were both available.
This could also be relevant in the "Extreme" and "Nightmare" difficulty puzzles mentioned in the rulebook, as a way of ruling out which verifiers are actually active (or which order they appear in) knowing that there are certain ones that should not appear alone or together.