__eval.pushEnv();
org.rascalmpl.ast.Statement body = this.getBody();
int max = -1;
Bound bound = this.getBound();
if (bound.isDefault()) {
Result<IValue> res = bound.getExpression()
.interpret(__eval);
if (!res.getType().isInteger()) {
throw new UnexpectedType(
org.rascalmpl.interpreter.Evaluator.__getTf()
.integerType(), res.getType(), this);