[Checkers] Method invocation type inference for annotations

[Michael Ernst]

Mahmood-

> 2. Added type argument inference for method invocation when the user  
> does not explicitly declared them.
> ...
> This is a good news particularly for the NonNull checker, as it seems  
> that all the edits were generics related.

I think you mean "all the edits in the case studies reported in the paper".
Yes, being able to redo those experiments -- and to improve the results --
would be really great.  This will be an important improvement to the
framework.

                    -Mike