UFile (package = ) [public final class TypeCheckKt {...]
    UClass (name = TypeCheckKt) [public final class TypeCheckKt {...}]
        UMethod (name = asString) [public static final fun asString($this$asString: java.lang.Object) : java.lang.String {...}]
            UParameter (name = $this$asString) [var $this$asString: java.lang.Object]
            UBlockExpression [{...}] : PsiType:Void
                UReturnExpression [return if (x !is java.lang.String) x.[!] UnknownKotlinExpression (CALL_EXPRESSION) else x] : PsiType:Void
                    UIfExpression [if (x !is java.lang.String) x.[!] UnknownKotlinExpression (CALL_EXPRESSION) else x] : PsiType:String
                        UBinaryExpressionWithType [x !is java.lang.String] : PsiType:boolean
                            USimpleNameReferenceExpression (identifier = x) [x] : PsiType:NonExistentClass
                            UTypeReferenceExpression (name = java.lang.String) [java.lang.String]
                        UQualifiedReferenceExpression [x.[!] UnknownKotlinExpression (CALL_EXPRESSION)] : PsiType:String
                            USimpleNameReferenceExpression (identifier = x) [x] : PsiType:NonExistentClass
                            [!] UnknownKotlinExpression (CALL_EXPRESSION) [[!] UnknownKotlinExpression (CALL_EXPRESSION)]
                        USimpleNameReferenceExpression (identifier = x) [x] : PsiType:NonExistentClass
