AnsiAsciiControlParser.php: Rename getTokenList() to getSequenceList()