withFirEntry("fir", firFunctionSymbol.firSymbol.fir)
            }
        else firFunctionSymbol.valueParameters[valueParameterReference.parameterIndex]
    )

    // Util function to avoid hard coding names of the classes. Type inference will do a better job figuring out the best type to cast to.
    // This visitor isn't type-safe anyway
    private inline fun <reified T> ConeContractDescriptionElement.accept() =

        variableReference: VariableReference,
        constructor: (KtParameterSymbol) -> T
    ): T = constructor(variableReference.descriptor.toKtSymbol(analysisContext) as KtParameterSymbol)

    // Util function to avoid hard coding names of the classes. Type inference will do a better job figuring out the best type to cast to.
    // This visitor isn't type-safe anyway

                // ignores the ContainerNode when accessing child
                doesParentUseChild(parent.parent, child)

            // KtWhenEntry/WhenCondition are containers used in KtWhenExpressions, ard
            // should be regarded as parentheses.
            is KtWhenEntry ->
                (parent.expression == child && isUsed(parent.parent)) || child in parent.conditions

            is KtWhenCondition ->