동적 일관성 제약을 통한 분석 오류 감소 | Synapse