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] = 0
        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] = 0
        UMethod (name = getProp1) [public static final fun getProp1() : int = UastEmptyExpression]
        UMethod (name = getProp2) [@TestAnnotation...}]
            UAnnotation (fqName = TestAnnotation) [@TestAnnotation]
            UBlockExpression [{...}] = Nothing
                UReturnExpression [return 0] = Nothing
                    ULiteralExpression (value = 0) [0] = 0
        UMethod (name = getProp3) [public static final fun getProp3() : int {...}]
            UBlockExpression [{...}] = Nothing
                UReturnExpression [return 0] = Nothing
                    ULiteralExpression (value = 0) [0] = 0
        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 [{...}] = Undetermined
                UBinaryExpression (operator = =) [field = value] = Undetermined
                    USimpleNameReferenceExpression (identifier = field) [field] = external field()
                    USimpleNameReferenceExpression (identifier = value) [value] = Undetermined
    UClass (name = TestAnnotation) [public abstract annotation TestAnnotation {...}]
