TODO 심볼 테이블을 구현해서, 다른 변수등에 할당되어도 타입을 추적 한번 분석한 데이터 저장 및 불러오기 지난번에 저장한 값과 이번에 분석한 값의 차이를 보고, 수정의 영향을 받는 코드들 표시