Class SyntacticSequencerPDAProvider.SynState