Implement a boolean expression minimizer for bool expr trees. One way to achieve that is to minimize a bool expr tree when it is constructed by the builder (say when .finish() is called). This will allow a more optimal and minimized representation of the boolean tree, which may not conform neither to DNF nor CNF. This can be used to support more efficient index and fetch rewrites.
Note this is a more general version of the "local" simplification to be achieved via