/.VampireLanguageRuntimeModule.java._trace
/.VampireLanguageStandaloneSetup.java._trace