core: fix for lively.Tracing
core: fix for lively.Tracing

pascience/LivelyKernel,NikolaySuslov/LivelyKernel,LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel,pascience/LivelyKernel,NikolaySuslov/LivelyKernel,NikolaySuslov/LivelyKernel,pascience/LivelyKernel,LivelyKernel/LivelyKernel