도 7 을 다시 참조 하 면 , 경로 6 의 심볼 릭 실행 에서 , 구문 번호 11 번 라인 에서 계산 해야 할 제약 사항 은 ( 7 ) 과 ( 11 ) 을 모두 만족 해야 하 므로 아래 와 같이 도출 될 수 있 다 . PC 2 AND days > 0 => ! ( ACCNO < 0 || PAYDATE < 0 ) && ! ( ( PAYDATE - LOANDATEDB ) < 0 )