public override Tuple<ABT.Env, ABT.Stmt> GetStmt(ABT.Env env) { var stmt = SemantStmt(this.Stmt.GetStmt, ref env); return Tuple.Create(env, new ABT.DefaultStmt(stmt) as ABT.Stmt); } }