Fully Functional FindRedundantNullChecks.java and associated NullChecks.java.