RAC : Improve the validation of some CEX
We have some examples of counterexamples in TrustInSoft that should be considered as valid but the Z3 and CVCx are unable to verify them.
We have some examples of counterexamples in TrustInSoft that should be considered as valid but the Z3 and CVCx are unable to verify them.