1330.18 효과 검증을 위한 사후 조건 노드 설계 (Postcondition Node Design for Effect Verification)