public override Tuple<ABT.Env, ABT.Stmt> GetStmt(ABT.Env env) { var expr = this.Expr.Map(_ => _.GetExpr(env)); env = expr.IsSome ? expr.Value.Env : env; return new Tuple<ABT.Env, ABT.Stmt>(env, new ABT.ExprStmt(expr)); } }