\(\text{这题是个树链剖分的板子题 （好像树剖跑的比 LCT 快）}\)

\(\text{这题的操作 ： 区间修改 区间查询}\)

\(\text{我们考虑题目所说的没有重复的x所以我们不用判重直接干}\)

\(\text{所以把每个加法操作即开战存在vector里面 然后结束了直接查询。。}\)

\(\text{Yes No 是区间查询 如果能到那个位置 就肯定没有战争即查询的是0}\)

\(\mathcal Code\)

//Isaunoya
#include<bits/stdc++.h>
using namespace std ;
inline int read() { register int x = 0 ; register int f = 1 ; register char c = getchar() ;
    for( ; ! isdigit(c) ; c = getchar()) if(c == '-') f = -1 ;
    for( ; isdigit(c) ; c = getchar()) x = (x << 1) + (x << 3) + (c & 15) ;
    return x * f ;
} int st[105] ;
template < typename T > inline void write(T x , char c = '\n') { int tp = 0 ;
    if(x == 0) return (void) puts("0") ;
    if(x < 0) putchar('-') , x = -x ;
    for( ; x ; x /= 10) st[++ tp] = x % 10 ;
    for( ; tp ; tp --) putchar(st[tp] + '0') ;
    putchar(c) ;
}
//#define Online_Judge
int n ;
vector < pair < int , int > > v ;
const int N = 3e5 + 10 ;
int a[N] ;
struct node {
    int v ;
    int nxt ;
};
node e[N << 1] ; int head[N] ;
int cnt = 0 ;
inline void Add(int u , int v) {
    e[++ cnt].v = v ;
    e[cnt].nxt = head[u] ;
    head[u] = cnt ;
    return ;
} 
int size[N] ;
int top[N] , son[N] ;
int fa[N] ; int id[N] ; int d[N] ;
int idx = 0 ;
inline void Dfs1(int u) {
    size[u] = 1 ;
    for(register int i = head[u] ; i ; i = e[i].nxt) {
        int v = e[i].v ;
        if(v ^ fa[u]) {
            fa[v] = u ;
            d[v] = d[u] + 1 ;
            Dfs1(v) ;
            size[u] += size[v] ;
            if(size[son[u]] < size[v]) son[u] = v ;
        }
    }
}
inline void Dfs2(int u , int t) {
    id[u] = ++ idx ;
    top[u] = t ;
    a[idx] = 0 ;
    if(! son[u]) return ;
    Dfs2(son[u] , t) ;
    for(register int i = head[u] ; i ; i = e[i].nxt) {
        int v = e[i].v ;
        if(v ^ fa[u] && v ^ son[u]) {
            Dfs2(v , v) ;
        }
    }
}
int sum[N << 2] ;
int tag[N << 2] ;
inline void build(int l , int r , int rt) {
    if(l == r) {
        sum[rt] = a[l] ; 
        tag[rt] = 0 ;
        return ;
    }
    int mid = l + r >> 1 ;
    build(l , mid , rt << 1) ;
    build(mid + 1 , r , rt << 1 | 1) ;
    sum[rt] = sum[rt << 1] + sum[rt << 1 | 1] ;
    return ;
}
inline void Push_down(int rt , int l , int r) {
    if(tag[rt]) {
        tag[rt << 1] += tag[rt] ;
        tag[rt << 1 | 1] += tag[rt] ;
        int mid = l + r >> 1 ;
        sum[rt << 1] += tag[rt] * (mid - l + 1) ;
        sum[rt << 1 | 1] += tag[rt] * (r - mid) ;
        tag[rt] = 0 ;
        return ;
    }
}
inline void Change(int a , int b , int l , int r , int rt , int val) {
    if(a <= l && r <= b) {
        sum[rt] += val * (r - l + 1) ;
        tag[rt] += val ;
        return ;
    }
    int mid = l + r >> 1 ;
    Push_down(rt , l , r) ;
    if(a <= mid) Change(a , b , l , mid , rt << 1 , val) ;
    if(b > mid) Change(a , b , mid + 1 , r , rt << 1 | 1 , val) ;
    sum[rt] = sum[rt << 1] + sum[rt << 1 | 1] ;
    return ;
}
inline int Query(int a , int b , int l , int r , int rt) {
    if(a <= l && r <= b) return sum[rt] ;
    int mid = l + r >> 1 ;
    int ans = 0 ;
    Push_down(rt , l , r) ;
    if(a <= mid) ans += Query(a , b , l , mid , rt << 1) ;
    if(b > mid) ans += Query(a , b , mid + 1 , r , rt << 1 | 1) ;
    return ans ;
}
inline int Query_Range(int x , int y) {
    int fx = top[x] ;
    int fy = top[y] ;
    int ans = 0 ;
    while(fx ^ fy) {
        if(d[fx] < d[fy]) swap(x , y) , swap(fx , fy) ;
        ans += Query(id[fx] , id[x] , 1 , n , 1) ;
        x = fa[fx] ;
        fx = top[x] ;
    }
    if(id[x] > id[y]) swap(x , y) ;
    ans += Query(id[x] + 1 , id[y] , 1 , n , 1) ;
    return ans ;
}
inline void Change_Range(int x , int y , int val) {
    int fx = top[x] ;
    int fy = top[y] ;
    int ans = 0 ;
    while(fx ^ fy) {
        if(d[fx] < d[fy]) swap(x , y) , swap(fx , fy) ;
        Change(id[fx] , id[x] , 1 , n , 1 , val) ;
        x = fa[fx] ;
        fx = top[x] ;
    }
    if(id[x] > id[y]) swap(x , y) ;
    Change(id[x] + 1 , id[y] , 1 , n , 1 , val) ;
}
signed main() {
#ifdef Online_Judge
    freopen("testdata.in" , "r" , stdin) ;
    freopen("testdata2.out" , "w" , stdout) ;
#endif
    n = read() ; int q = read() ;
    for(register int  i = 1 ; i <= n - 1 ; i ++) {
        int u = read() ;
        int v = read() ;
        Add(u , v) ;
        Add(v , u) ;
    }
    Dfs1(1) ;
    Dfs2(1 , 1) ;
    build(1 , n , 1) ;
    for(register int i = 1 ; i <= q ; i ++) {
        register char c = getchar() ;
        for( ; c != 'C' && c != 'Q' && c != 'U' ; c = getchar()) ;
        if(c == 'Q') {
            int x = read() , y = read() ;
            if(Query_Range(x , y)) puts("No") ;
            else puts("Yes") ;
        }
        if(c == 'C') {
            int x = read() , y = read() ;
            Change_Range(x , y , 1) ;
            v.push_back(make_pair(x , y)) ;
        }
        if(c == 'U') {
            int num = read() - 1 ;
            int x = v[num].first ;
            int y = v[num].second ;
            Change_Range(x , y , - 1) ;
        }
    }
    return 0 ;
}