// The same variable might have been used multiple times in this
// StatementPattern, verify value equality in those cases.
// TODO: check if this cursor is actually needed. If not, don't add to
// prevent processing overhead
stIter = new StatementPatternCursor(stIter, sp);
// Return an iterator that converts the statements to var bindings
return new StatementBindingSetCursor(stIter, sp, bindings);
}