1306.18 전제 조건 검사 패턴의 설계