dataflow = new Dataflow<LockCount>(cfg, analysis);
dataflow = new Dataflow<LockCount, LockCountAnalysis>(cfg, analysis);
	public void visitCFG(CFG cfg, MethodGen methodGen) {		try {			analysis = new AnyLockCountAnalysis(methodGen, null);			dataflow = new Dataflow<LockCount>(cfg, analysis);			dataflow.execute();			visitCFGInstructions(cfg, methodGen);		} catch (DataflowAnalysisException e) {			throw new AnalysisException(e.getMessage());		}	}