Thank you very much for your extensive work on fixing issue https://github.com/SeelabFhdo/lemma/issues/27 and submitting this PR. Next to my comments, please consider adapting the commit message to something like
DSL Validators: Make import path validation case sensitive (fixes #27)
"DSL Validators" is the name of the LEMMA set of components that are primarily concerned by the commit.
"Make import path validation case sensitive" is immediately consistent with the issue title.
We use "fixes" instead of "fix" to refer to fixed issues.
Thank you very much for your extensive work on fixing issue https://github.com/SeelabFhdo/lemma/issues/27 and submitting this PR. Next to my comments, please consider adapting the commit message to something like
DSL Validators: Make import path validation case sensitive (fixes #27)
Again, thanks a lot!