1278.55 가드 조건의 완전성 검증