Wouter Polet

I think there is a bug in the dslinter plugin. Minimal example: [minimal-example.zip](https://github.com/SERG-Delft/dslinter/files/8890676/minimal-example.zip) Steps to reproduce: - Unzip the minimal example - cd into the `dslinter-test` directory - run `pipenv...