As the groundwork of the language server is done, all the classes (if feasible) in vadl.lsp should be covered with unit tests. This should protect us against regressions going forward.