+++
title = "Another problem with predicate elimination"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g5e3"]
forwardlinks = []
zettelid = "3a8g5e4"
+++

There is an additional problem when parts of the predicate are
eliminated, which is that the predicates are actually not independent
anymore. This means that the predicates are actually incorrect, even
when domination based elimination is used, because conditions are
eliminated that are still useful during the checking of the predicate.