1328.4 술어 선언 오류와 누락 진단