Analysis Error regarding Code Rules