/.VampireLanguageScopeProvider.java._trace
/.VampireLanguageScopeProvider.xtendbin
/VampireLanguageScopeProvider.java