Comment by dist-epoch

You seem to be using "formal verification" with a non-standard meaning.

> I feel that when you formally verify one condition, verification of another condition gets weakened

In standard formal verification there is no problem here: you formally verify the composite "condition_1 AND condition_2"