if (tvaDataflow != null) this.tvaDataflowAnalysis = (ThisValueAnalysis) tvaDataflow.getAnalysis();
	public LockCountAnalysis(MethodGen methodGen, Dataflow<ThisValueFrame> tvaDataflow) {		this.methodGen = methodGen;		this.tvaDataflow = tvaDataflow;	}