return classContext.getUnconditionalDerefDataflow(method);
return null;
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.err.println("Usage: " + UnconditionalDerefAnalysis.class.getName() + " <class file>");			System.exit(1);		}		DataflowTestDriver<UnconditionalDerefSet, UnconditionalDerefAnalysis> driver =			new DataflowTestDriver<UnconditionalDerefSet, UnconditionalDerefAnalysis>() {				@Override                                 public UnconditionalDerefDataflow createDataflow(ClassContext classContext, Method method)						throws CFGBuilderException, DataflowAnalysisException {					return classContext.getUnconditionalDerefDataflow(method);				}		};		driver.execute(argv[0]);	}