Minor Description
The static optimizer could be improved by adding an additional case to the equality filter -> binding transformation. If a filter contains a logical OR, and both operands contain equality filters on the same variables, we can transform that into a set of bindings. See [1] for original discussion.