/.VampireLanguageScopeProvider.java._trace