RedundantNullChecks DFA implemented, needs testing/refinement