a->b->c 같은 포인터 변수를 구분하여 추상화 할 수 있도록 수정, 정규식 성능 최적화
코드 block별로 크리티컬과 넌크리티컬 완벽히 나눠짐
90% 완성 크리티컬 변수가 참조된 블록 선정은 잘 되지만 블록 중에 코드 라인이 누락되는 경우 발생
