1330.17 전제 조건 검증을 위한 조건 노드 설계 (Condition Node Design for Precondition Verification)