/.SolverLanguageSyntheticTokenSyntacticSequencer.java._trace