Improve the documentation for the dataflow analysis
Refactor the NullPointers test to re-use some new infrastructure

The edge transfer function lets it re-use the generic helper
it exports, which makes everything much shorter.