List<FLWORClauseNode> cNodes = fNode.getClauses();
int pushCount = 0;
for (FLWORClauseNode cNode : cNodes) {
switch (cNode.getTag()) {
case FOR_CLAUSE: {
ForClauseNode fcNode = (ForClauseNode) cNode;
for (ForVarDeclNode fvdNode : fcNode.getVariables()) {
ILogicalExpression seq = vre(translateExpression(fvdNode.getSequence(), tCtx));
tCtx.pushVariableScope();
LogicalVariable forLVar = newLogicalVariable();
LogicalVariable posLVar = fvdNode.getPosVar() != null ? newLogicalVariable() : null;
UnnestOperator unnest = new UnnestOperator(forLVar,