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