Debugging RedundantNullChecks analysis and FindRedundantNullChecks main to test the former.