Add implementation scope.

Author: lcartey

rule_packages/c/Static.json

@@ -14,7 +14,10 @@
           "short_name": "UseOfArrayStatic",
           "tags": [
             "correctness"
-          ]
+          ],
+          "implementation_scope": {
+            "description": "The static keyword is associated with particular array types in our model. This means we can get false positives when two parameter use the same array type and size, but only one of which uses the `static` keyword."
+          }
         }
       ],
       "title": "The declaration of an array parameter shall not contain the static keyword between the [ ]"