In method `search`, simply make an abstract interpretation of the domain to determine whether it is equivalent to false. In that case, skip the query.
In method `search`, simply make an abstract interpretation of the domain to determine whether it is equivalent to false. In that case, skip the query.