Class NonImplicitExceptionDominatorsAnalysisFactory