Class NonExceptionDominatorsAnalysisFactory