@Override
public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {
__eval.setCurrentAST(this);
__eval.notifyAboutSuspension(this);
Environment env = __eval.getCurrentEnvt();
Parameters parameters = getParameters();
Type formals = parameters.typeOf(env, true, __eval);
Type returnType = typeOf(env, true, __eval);
RascalTypeFactory RTF = RascalTypeFactory.getInstance();