Implement advanced atomic/silent sections nestedness model

[eupp]

Consider the following code:

var counter = 0
val map = ConcurrentHashMap<String, Int>()
map.computeIfAbsent("abc") {
    counter++
}

In such examples, when outputting the trace we usually want to hide the details of ConcurrentHashMap methods from the trace, but keep the events from the user-provided lambda in the trace.