Is it possible to have the following custom rule added to the polyspace code prover?
"Identifiers should consist of English language words, abbreviations or acronyms connected
with underscore characters. Variable identifiers should have the first letter of each word capitalized and each
letter of an acronym shall be uppercase as well. At least one letter of the function or variable name must be
lowercase. Functions identifiers may be either 1) all small case or 2) have the first letter of each word
capitalized. Whichever method is chosen it should apply to all newly defined function names."