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