Removes filters that can be evaluated trivially. This is done either by eliding the filter for
cases where it will always evaluate to true, or substituting a dummy empty relation when the
filter will always evaluate to false.
Name for this rule, automatically inferred based on class name.