src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt [1775:1791]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
            traceCollector?.checkActiveLockDetected()
            // create a trace point
            val eventId = getNextEventId()
            val tracePoint = addBeforeMethodCallTracePoint(
                eventId = eventId,
                threadId = threadId,
                owner = receiver,
                codeLocation = codeLocation,
                methodId = methodId,
                className = methodDescriptor.className,
                methodName = methodDescriptor.methodName,
                methodParams = params,
                atomicMethodDescriptor = atomicMethodDescriptor,
                callType = MethodCallTracePoint.CallType.NORMAL,
            )
            // add trace point to the trace
            traceCollector?.addTracePointInternal(tracePoint)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt [1798:1814]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
            traceCollector?.checkActiveLockDetected()
            // create a trace point
            val eventId = getNextEventId()
            val tracePoint = addBeforeMethodCallTracePoint(
                eventId = eventId,
                threadId = threadId,
                owner = receiver,
                codeLocation = codeLocation,
                methodId = methodId,
                className = methodDescriptor.className,
                methodName = methodDescriptor.methodName,
                methodParams = params,
                atomicMethodDescriptor = atomicMethodDescriptor,
                callType = MethodCallTracePoint.CallType.NORMAL,
            )
            // add trace point to the trace
            traceCollector?.addTracePointInternal(tracePoint)
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -