1281.133 전이 조건-가드 함수 설계의 모범 사례