Clean up a deeply-nested pattern match
Repair the Nullable pointer analysis

This change adds an edge transfer function that can precisely label
CFG edges with non-null arguments.
Remove an unused variable
Breaking API change from llvm-base-types