/.SolverLanguageGenerator.java._trace
/.SolverLanguageGenerator.xtendbin
/SolverLanguageGenerator.java