XQExpression inExpr = variable.getValue();
if(inExpr == null) {
assert (variable instanceof PositionalVariable) : variable.getName();
return variable; // TODO REVIEWME
}
inExpr.visit(this, ctxt);
boolean isLoopInvariant = inExpr.isLoopInvariant();//TODO REVIEWME
if(isLoopInvariant) {
if(variable == _loopForVar || variable == _loopPosVar) {
removeInvariants(inExpr);
variable.setLoopInvariant(false);