[Bug 1215233] VUL-0: CVE-2023-39070: cppcheck: heap use-after-free in removeContradiction()