ListAnalysisState implement the iterator to iterate through the list of
stated and als implements the method 'size()' that gives the length of
the list. Abc was simplified a bit according to this.
New analyzer to test syntax (look ahead)