public override Tuple<ABT.Env, ABT.Stmt> GetStmt(ABT.Env env) {
var expr = this.Expr.Map(_ => _.GetExpr(env));
expr = expr.Map(_ => ABT.TypeCast.MakeCast(_, env.GetCurrentFunction().ReturnType));
return new Tuple<ABT.Env, ABT.Stmt>(env, new ABT.ReturnStmt(expr));
}
}