1281.131 전이 조건의 모델 검사 적용