Dataflow<ValueNumberFrame> vnaDataflow = new Dataflow<ValueNumberFrame>(cfg, new ValueNumberAnalysis(methodGen));
ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, new ValueNumberAnalysis(methodGen));
	public static void main(String[] argv) {		try {			if (argv.length != 1) {				System.out.println("edu.umd.cs.daveho.ba.OtherLockCountAnalysis <filename>");				System.exit(1);			}			DataflowTestDriver<LockCount> driver = new DataflowTestDriver<LockCount>() {				public AbstractDataflowAnalysis<LockCount> createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException {					Dataflow<ValueNumberFrame> vnaDataflow = new Dataflow<ValueNumberFrame>(cfg, new ValueNumberAnalysis(methodGen));					vnaDataflow.execute();					return new OtherLockCountAnalysis(methodGen, vnaDataflow);				}			};			driver.execute(argv[0]);		} catch (Exception e) {			e.printStackTrace();		}	}