Currently Lincheck does not track events from externally created threads (i.e. threads outside of the scenario, created even before the Lincheck test started). Because of this Lincheck cannot test code that uses things like ForkJoinPool API from Java.

We need to implement required functionality.