FilterPattern pat = (FilterPattern) select;
Expr expr = pat.getExpr();
if (expr instanceof NumericExpr) {
NumericExpr num = (NumericExpr) expr;
if (num.isConstant()) {
out.println("if (" + posId + " > " + (int) num.getValue() + ")");
out.println(" break;");
out.println("else if (" + posId + " == " + (int) num.getValue() + ") {");
out.pushDepth();
_gen.pushSelectDepth();
return name;
}