Tower Data Context:
    Element 0
        Scope: FirDefaultStarImportingScope
    Element 1
        Scope: FirExplicitStarImportingScope
    Element 2
        Scope: FirDefaultSimpleImportingScope
    Element 3
        Scope: FirDefaultSimpleImportingScope
    Element 4
        Scope: FirPackageMemberScope
    Element 5
        Scope: FirExplicitSimpleImportingScope
    Element 6
        Scope: FirLocalScope
            Properties:
                FirValueParameterSymbol initial: R|Node|
    Element 7
        Scope: FirLocalScope
            Properties:
                FirLocalPropertySymbol lvar current: R|Node?|
    Element 8
        Scope: FirLocalScope
Smart Casts:
    FirLocalPropertySymbol lvar current: R|Node?|
    Stability: STABLE_VALUE
    Types:
        kotlin.Any

FILE: [ResolvedTo(IMPORTS)] insideLoop.kt
    public abstract [ResolvedTo(STATUS)] interface Node : R|kotlin/Any| {
        public abstract [ResolvedTo(STATUS)] val parent: R|Node?|
            public [ResolvedTo(STATUS)] get(): R|Node?|

    }
    public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] initial: R|Node|): R|kotlin/Unit| {
        [ResolvedTo(BODY_RESOLVE)] lvar current: R|Node?| = R|<local>/initial|
        while(!=(R|<local>/current|, Null(null))) {
            R|/consume|(R|<local>/current|)
            R|<local>/current| = R|<local>/current|.R|/Node.parent|
        }

    }
    public final [ResolvedTo(STATUS)] fun consume([ResolvedTo(STATUS)] node: R|Node|): R|kotlin/Unit| { LAZY_BLOCK }
