RAW_FIR:
FILE: propertyWithGetter.kt
    public? final? fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

IMPORTS:
FILE: propertyWithGetter.kt
    public? final? fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

SUPER_TYPES:
FILE: propertyWithGetter.kt
    public? final? fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

TYPES:
FILE: propertyWithGetter.kt
    public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

STATUS:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

CONTRACTS:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

IMPLICIT_TYPES_BODY_RESOLVE:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

BODY_RESOLVE:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

NoResolve:
FILE: propertyWithGetter.kt
    public? final? fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

BodyResolveWithChildren:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

CallableBodyResolve:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

CallableReturnType:
FILE: propertyWithGetter.kt
    public? final? fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

AnnotationType:
FILE: propertyWithGetter.kt
    public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

AnnotationsArguments:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

CallableContracts:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

DeclarationStatus:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

ValueParametersTypes:
FILE: propertyWithGetter.kt
    public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

TypeParametersTypes:
FILE: propertyWithGetter.kt
    public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? fun receive(value: Int): R|kotlin/Unit| {
    }
    public? final? val withGetter: Int
        public? get(): Int {
            ^ IntegerLiteral(42)
        }

FILE RAW TO BODY:
FILE: propertyWithGetter.kt
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val withGetter: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ Int(42)
        }
