UFile (package = ) [public final class PropertyWithAnnotationKt {...]
    UClass (name = PropertyWithAnnotationKt) [public final class PropertyWithAnnotationKt {...}]
        UField (name = prop1) [@org.jetbrains.annotations.NotNull @TestAnnotation private static final var prop1: int = 0]
            UAnnotation (fqName = org.jetbrains.annotations.NotNull) [@org.jetbrains.annotations.NotNull]
            UAnnotation (fqName = TestAnnotation) [@TestAnnotation]
            ULiteralExpression (value = 0) [0] : PsiType:int
        UField (name = prop3) [@org.jetbrains.annotations.NotNull private static var prop3: int = 0]
            UAnnotation (fqName = org.jetbrains.annotations.NotNull) [@org.jetbrains.annotations.NotNull]
            ULiteralExpression (value = 0) [0] : PsiType:int
        UMethod (name = getProp1) [public static final fun getProp1() : int = UastEmptyExpression]
        UMethod (name = getProp2) [@TestAnnotation...}]
            UAnnotation (fqName = TestAnnotation) [@TestAnnotation]
            UBlockExpression [{...}]
                UReturnExpression [return 0]
                    ULiteralExpression (value = 0) [0] : PsiType:int
        UMethod (name = getProp3) [public static final fun getProp3() : int {...}]
            UBlockExpression [{...}]
                UReturnExpression [return 0]
                    ULiteralExpression (value = 0) [0] : PsiType:int
        UMethod (name = setProp3) [@TestAnnotation...}]
            UAnnotation (fqName = TestAnnotation) [@TestAnnotation]
            UParameter (name = value) [@org.jetbrains.annotations.NotNull var value: int]
                UAnnotation (fqName = org.jetbrains.annotations.NotNull) [@org.jetbrains.annotations.NotNull]
            UBlockExpression [{...}] : PsiType:void
                UBinaryExpression (operator = =) [field = value] : PsiType:void
                    USimpleNameReferenceExpression (identifier = field) [field] : PsiType:int
                    USimpleNameReferenceExpression (identifier = value) [value] : PsiType:int
    UClass (name = TestAnnotation) [public abstract annotation TestAnnotation {...}]
