Analysis attempt #0
KT element: KtCallExpression
KT element text:
consume(3)
FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind

FIR element rendered:
R|/consume|(Int(3))

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] reverseOrder2.kt
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [PartialBodyAnalysisStateKey=3(3/5) #1] fun test([ResolvedTo(ANNOTATION_ARGUMENTS)] foo: R|broken/lib/Foo|): R|kotlin/Unit| {
        R|/consume|(Int(1))
        R|/consume|(Int(2))
        R|/consume|(Int(3))
        consume#(foo#.result#)
        consume#(IntegerLiteral(5))
    }
    public final [ResolvedTo(STATUS)] fun consume([ResolvedTo(STATUS)] n: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }

=====

Analysis attempt #1
KT element: KtCallExpression
KT element text:
consume(foo.result)
FIR element: null
FIR source kind: null

FIR element rendered:
null

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] reverseOrder2.kt
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [PartialBodyAnalysisStateKey=3(3/5) #1] fun test([ResolvedTo(ANNOTATION_ARGUMENTS)] foo: R|broken/lib/Foo|): R|kotlin/Unit| {
        R|/consume|(Int(1))
        R|/consume|(Int(2))
        R|/consume|(Int(3))
        consume#(foo#.result#)
        consume#(IntegerLiteral(5))
    }
    public final [ResolvedTo(STATUS)] fun consume([ResolvedTo(STATUS)] n: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }

=====

Analysis attempt #2
KT element: KtCallExpression
KT element text:
consume(2)
FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind

FIR element rendered:
R|/consume|(Int(2))

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] reverseOrder2.kt
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [PartialBodyAnalysisStateKey=3(3/5) #1] fun test([ResolvedTo(ANNOTATION_ARGUMENTS)] foo: R|broken/lib/Foo|): R|kotlin/Unit| {
        R|/consume|(Int(1))
        R|/consume|(Int(2))
        R|/consume|(Int(3))
        consume#(foo#.result#)
        consume#(IntegerLiteral(5))
    }
    public final [ResolvedTo(STATUS)] fun consume([ResolvedTo(STATUS)] n: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }