1278.56 가드 조건과 상태 변수의 관계