as of feb 20, 2014: run RedundantNullCheck analysis on all methods read from the input class. Currently RedundantNullCheck is not implemented (use ReachingDefs as a place holder)