protected abstract AnalysisResult analyze(Method method)
protected abstract Analysis analyze(Method method)
		protected abstract AnalysisResult analyze(Method method)		        throws CFGBuilderException, DataflowAnalysisException;