Last year there were several threading-related issues with the linter which raised questions about the witness specification (cf. !30, #33, #36). This PR is to fix the handling of threading-related information in the linter.