Removing outdated query precondition

This precondition check no longer applies with Contain.IN support, and
the underlying invariant it expresses isn't valid anymore.  Removing
it following discussion with Matthias.

For #882