/.GenerateScenarios.java._trace
/.checkQueries.java._trace