15.4 결정론적 오라클 코드의 리팩토링 및 최적화