Lazy version of Grounder::SplitTerms().

It's already complicated (thanks, C++). Rewriting
Grounder::RelevantSplitTerms() would be even much more complicated, so
we should probably stick with the simpler non-lazy version :-(.