[PATCH] [analyzer][Review request] Improved checker naming in CFG dump.

[Ted Kremenek]

  This looks like repetitive boilerplate in the impacted checkers.  Is there any way for us to refactor this a bit?

  For example, could SimpleProgramPoint just do this in its constructor?

http://llvm-reviews.chandlerc.com/D2793