4.8 결정론적 출력을 위한 제약 조건(Constraints) 명시 기법