Simplify the summary type for the nullable pointer analysis.
Simplify the summary type for the nullable pointer analysis.

The code is now simpler and more robust.  Before, the analysis had
to be careful to ensure that there would be an entry in the Function
map for each function, even if no arguments for that function were
important.  Now only arguments and their witnesses are recorded.

travitch/foreign-inference,travitch/foreign-inference