Recoding analyzer's error finding
finish analysis error generation, updating tests
Merge branch 'analyzer'