1278.16 상태의 의미론적 명확성 확보