don't guess instances of variables inside spatial predicates

This heuristic gives a 100x speedup for llStar so I like it.

The rationale is that spatial predicates should be eliminated by some
other rule anyway, so there's no point in making wild guesses about
their contents at this point.