WitnessLinter does not consider different paths in a witness when checking thread information
Created by: kfriedberger
This PR is based on #33 and improves the documentation about the usage of thread identifiers.
It also disables the current check for thread creation.