반복 문법을 지우기 전에 단일 행동인지 먼저 확인한다.
추상 method가 하나인지 본다.
field와 helper 의미를 조사한다.
parameter와 반환 경로를 보존한다.
this와 지역 이름 차이를 검증한다.
핵심: 문법 변환 뒤에도 같은 입력에서 같은 행동을 해야 한다.