NOTICE

Most of the code is published under the MIT license; written originally either by Microsoft Corporation or Florian Moser.
Any contributor to this project contributes under the MIT license.

Some of the code used here is originally written by Alessio Stralla and published under the Apache license. The code originates from an articles series introducing [antrl](https://github.com/Strumenta/article-antlr4-c3) and how to implement the [go to definition functionality](https://github.com/Strumenta/article-lsp-go-to-definition). 

The grammer of ProVerif (`pitparser.mly`) is copied over from [ProVerif](https://gitlab.inria.fr/bblanche/proverif), and falls under GNU.