if (analysis != null)
if (analysisSetExplicitly)
		public Analysis getAnalysis() throws CFGBuilderException, DataflowAnalysisException {			if (analysis != null)				return analysis;			if (dataflowAnalysisException != null)				throw dataflowAnalysisException;			if (analysisException != null)				throw analysisException;			if (cfgBuilderException != null)				throw cfgBuilderException;			throw new IllegalStateException();		}