def METHOD_NAME():
    x = claripy.BVS("x", 32).annotate(AnnotationA("a", 1))
    y = x ^ x
    assert y.depth == 1
    assert len(y.annotations) == 0
    x = claripy.BVS("x", 32).annotate(AnnotationB("a", 1))
    y = x ^ x
    assert y.depth == 2
    x = claripy.BVS("x", 32).annotate(AnnotationC("a", 1))
    y = x ^ x
    assert y.depth == 1
    assert len(y.annotations) == 1
    assert y.annotations[0].number == 2