제약 보존
제약 보존은 원래 사용자 입력에 포함된 조건·제한·필수요소를 컴파일 과정에서 손실 없이 유지하는 절차로, 사양 생성 시 누락이나 왜곡을 막아 실행 결과의 신뢰도를 확보하는 역할을 한다.