Interface ISyntacticSequencerPDAProvider.ISynState