public override Tuple<ABT.Env, ABT.Stmt> GetStmt(ABT.Env env) { Tuple<ABT.Env, ABT.Stmt> r_stmt = this.Stmt.GetStmt(env); env = r_stmt.Item1; return new Tuple<ABT.Env, ABT.Stmt>(env, new ABT.LabeledStmt(this.Label, r_stmt.Item2)); } }