Added violation for null check