Investigate VN-based implied assertions #108504
Description
It's possible that optImpliedByCopyAssertion and optValueNumToAsserts in general do not add any value, we need to either remove it or investigate why.
{{ message }}
It's possible that optImpliedByCopyAssertion and optValueNumToAsserts in general do not add any value, we need to either remove it or investigate why.