/.SolverLanguageSyntheticTokenSyntacticSequencer.java._trace
/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin
/SolverLanguageSyntheticTokenSyntacticSequencer.java