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

FILE: [ResolvedTo(IMPORTS)] beforeLoop.kt
    public abstract [ResolvedTo(STATUS)] interface Node : R|kotlin/Any| {
        public abstract [ResolvedTo(CONTRACTS)] val parent: R|Node?|
            public [ResolvedTo(CONTRACTS)] 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(CONTRACTS)] fun consume([ResolvedTo(CONTRACTS)] node: R|Node|): R|kotlin/Unit| {
    }