Currently, Lincheck only tracks events in pre-defined threads of the concurrent scenario under test.
Thus, if a user spawns a new custom thread in the scenario, this thread is not-tracked by Lincheck, it does not participate in model-checking, etc.

Under this issue, we aim to fix this problem and support dynamic thread creation and joining.