This kind of filter is not working because
it rejects the whole variable set if one of the variables in the set
is not d-equal-except.
This is not the user expected behaivour. Users would require that only
elements that are not d-equal-except be removed from the set and this is the
reason the functionality should not be implemented as a binding algorithm method