1281.132 전이 조건의 정적 분석 기법