1281.136 전이 조건과 가드 함수의 재사용 전략