buf.append("for ");
buf.append("(for ");
	public String pprint() {		StringBuffer buf = new StringBuffer();		buf.append("for ");		buf.append(varName);		if(sequenceType != null) {			buf.append(" as ");			buf.append(sequenceType.toString());		}		buf.append(" in ");		buf.append(inputSequence.pprint());		if (whereExpr != null)			buf.append(" where ").append(whereExpr.pprint());		if (orderSpecs != null) {			buf.append(" order by ");			for(int i = 0; i < orderSpecs.length; i++) {				buf.append(orderSpecs[i].toString());			}		}		buf.append(" return ");		buf.append(returnExpr.pprint());		return buf.toString();	}