internal
PetscDisableStaticAnalyzerForExpressionUnderstandingThatThisIsDangerousAndBugprone() macro
to disable static analyzer for a single expression and a test for it. Improved the testing
logic slightly.