1281.137 전이 조건과 가드 함수의 확장 전략